The cow is cold. The cow is not round. The cow sees the squirrel. The cow sees the tiger. The mouse needs the cow. The mouse needs the tiger. The squirrel needs the cow. The tiger is blue. The tiger is red. The tiger is round. The tiger sees the mouse. If something needs the squirrel then the squirrel sees the tiger. If the cow sees the squirrel then the cow eats the mouse. If the squirrel eats the mouse and the squirrel is not green then the mouse is not red. If the mouse needs the tiger and the mouse is red then the tiger does not see the squirrel. If something needs the mouse and the mouse eats the cow then the cow eats the squirrel. If something is blue then it needs the squirrel. If something needs the cow and the cow is blue then it eats the mouse. If something eats the mouse then it is blue.
The mouse eats the mouse.
@0: The cow is cold.[(triple1)] The cow is not round.[(triple2)] The cow sees the squirrel.[(triple3)] The cow sees the tiger.[(triple4)] The mouse needs the cow.[(triple5)] The mouse needs the tiger.[(triple6)] The squirrel needs the cow.[(triple7)] The tiger is blue.[(triple8)] The tiger is red.[(triple9)] The tiger is round.[(triple10)] The tiger sees the mouse.[(triple11)] @1: The cow eats the mouse.[(((triple3) -> rule2))] The tiger needs the squirrel.[(((triple8) -> rule6))] @2: The cow is blue.[(((((triple3) -> rule2)) -> rule8))] The squirrel sees the tiger.[(((((triple8) -> rule6)) -> rule1) OR ((((((((triple3) -> rule2)) -> rule8)) -> rule6)) -> rule1) OR ((((((((triple5 ((((triple3) -> rule2)) -> rule8)) -> rule7)) -> rule8)) -> rule6)) -> rule1) OR ((((((((triple7 ((((triple3) -> rule2)) -> rule8)) -> rule7)) -> rule8)) -> rule6)) -> rule1))] @3: The cow needs the squirrel.[(((((((triple3) -> rule2)) -> rule8)) -> rule6))] The mouse eats the mouse.[(((triple5 ((((triple3) -> rule2)) -> rule8)) -> rule7))] The squirrel eats the mouse.[(((triple7 ((((triple3) -> rule2)) -> rule8)) -> rule7))] @4: The mouse is blue.[(((((triple5 ((((triple3) -> rule2)) -> rule8)) -> rule7)) -> rule8))] The squirrel is blue.[(((((triple7 ((((triple3) -> rule2)) -> rule8)) -> rule7)) -> rule8))] @5: The mouse needs the squirrel.[(((((((triple5 ((((triple3) -> rule2)) -> rule8)) -> rule7)) -> rule8)) -> rule6))] The squirrel needs the squirrel.[(((((((triple7 ((((triple3) -> rule2)) -> rule8)) -> rule7)) -> rule8)) -> rule6))]