SimpleLogic
UtterlyLogical
 
 
No information given.