The cow eats the mouse. The cow is red. The cow is round. The cow needs the lion. The cow visits the lion. The cow visits the mouse. The lion does not eat the cow. The lion eats the mouse. The lion is not nice. The lion is rough. The lion is not round. The lion needs the cow. The lion visits the mouse. The mouse eats the lion. The mouse is round. The mouse visits the cow. If something needs the mouse and the mouse does not visit the lion then the mouse needs the lion. If something eats the cow and it visits the lion then it is blue. If the lion does not need the cow then the cow needs the mouse. If something is round and it visits the lion then the lion eats the mouse. If something eats the cow and it eats the mouse then the cow eats the lion. If something is nice and it needs the cow then the cow does not visit the lion. If something visits the lion then it eats the cow. If the lion is not rough then the lion visits the mouse.
The lion is blue.
@0: The cow eats the mouse.[(triple1)] The cow is red.[(triple2)] The cow is round.[(triple3)] The cow needs the lion.[(triple4)] The cow visits the lion.[(triple5)] The cow visits the mouse.[(triple6)] The lion does not eat the cow.[(triple7)] The lion eats the mouse.[(triple8 OR ((triple3 triple5) -> rule4))] The lion is not nice.[(triple9)] The lion is not round.[(triple11)] The lion is rough.[(triple10)] The lion needs the cow.[(triple12)] The lion visits the mouse.[(triple13)] The mouse eats the lion.[(triple14)] The mouse is round.[(triple15)] The mouse visits the cow.[(triple16)] @1: The cow eats the cow.[(((triple5) -> rule7))] @2: The cow eats the lion.[(((((triple5) -> rule7) triple1) -> rule5))] The cow is blue.[(((((triple5) -> rule7) triple5) -> rule2))]