The cat is nice. The cat needs the mouse. The cat needs the squirrel. The mouse needs the cat. The squirrel eats the mouse. The squirrel is not kind. The squirrel needs the mouse. If something eats the mouse and it is not nice then it is kind. If something is big then it eats the cat. If something is nice then it does not eat the cat. If something needs the mouse then it needs the cat. If something sees the squirrel then the squirrel does not see the cat. If something eats the mouse then it is rough. If something is round then it does not eat the squirrel. If something is nice and it does not eat the cat then it is round.
The squirrel needs the cat.
@0: The cat is nice.[(triple1)] The cat needs the mouse.[(triple2)] The cat needs the squirrel.[(triple3)] The mouse needs the cat.[(triple4)] The squirrel eats the mouse.[(triple5)] The squirrel is not kind.[(triple6)] The squirrel needs the mouse.[(triple7)] @1: The cat does not eat the cat.[(((triple1) -> rule3))] The cat needs the cat.[(((triple2) -> rule4))] The squirrel is rough.[(((triple5) -> rule6))] The squirrel needs the cat.[(((triple7) -> rule4))] @2: The cat is round.[(((triple1 ((triple1) -> rule3)) -> rule8))] @3: The cat does not eat the squirrel.[(((((triple1 ((triple1) -> rule3)) -> rule8)) -> rule7))]