The cat chases the squirrel. The cat eats the mouse. The cat eats the squirrel. The cat is blue. The cat is green. The cat is nice. The cat does not need the squirrel. The mouse chases the cat. The mouse chases the squirrel. The mouse does not eat the squirrel. The mouse needs the squirrel. The squirrel chases the cat. If something chases the squirrel then it eats the cat. If the cat chases the squirrel and the cat is red then the squirrel does not need the mouse. If something is nice and it needs the squirrel then the squirrel does not eat the cat. If something is nice and it chases the mouse then it does not chase the squirrel. If something needs the cat then it chases the mouse. If something chases the mouse and the mouse eats the cat then it does not need the squirrel. If something is green then it needs the mouse. If something eats the cat then it is red.
The cat is red.
@0: The cat chases the squirrel.[(triple1)] The cat does not need the squirrel.[(triple7)] The cat eats the mouse.[(triple2)] The cat eats the squirrel.[(triple3)] The cat is blue.[(triple4)] The cat is green.[(triple5)] The cat is nice.[(triple6)] The mouse chases the cat.[(triple8)] The mouse chases the squirrel.[(triple9)] The mouse does not eat the squirrel.[(triple10)] The mouse needs the squirrel.[(triple11)] The squirrel chases the cat.[(triple12)] @1: The cat eats the cat.[(((triple1) -> rule1))] The cat needs the mouse.[(((triple5) -> rule7))] The mouse eats the cat.[(((triple9) -> rule1))] @2: The cat is red.[(((((triple1) -> rule1)) -> rule8))] The mouse is red.[(((((triple9) -> rule1)) -> rule8))] @3: The squirrel does not need the mouse.[(((triple1 ((((triple1) -> rule1)) -> rule8)) -> rule2))]