The cat eats the squirrel. The rabbit is blue. The rabbit is kind. The rabbit is red. The rabbit likes the squirrel. The squirrel is blue. The squirrel is nice. If something is kind then it eats the squirrel. If something needs the rabbit and the rabbit eats the squirrel then the rabbit likes the cat. If something is young and it needs the squirrel then the squirrel is kind. If the cat eats the squirrel and the squirrel likes the rabbit then the squirrel eats the rabbit. If something is blue and nice then it likes the squirrel. If the squirrel is blue then the squirrel is young. If something is kind then it eats the cat. If something eats the cat then the cat needs the rabbit.
The squirrel eats the squirrel.
@0: The cat eats the squirrel.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is kind.[(triple3)] The rabbit is red.[(triple4)] The rabbit likes the squirrel.[(triple5)] The squirrel is blue.[(triple6)] The squirrel is nice.[(triple7)] @1: The rabbit eats the cat.[(((triple3) -> rule7))] The rabbit eats the squirrel.[(((triple3) -> rule1))] The squirrel is young.[(((triple6) -> rule6))] The squirrel likes the squirrel.[(((triple6 triple7) -> rule5))] @2: The cat needs the rabbit.[(((((triple3) -> rule7)) -> rule8))] @3: The rabbit likes the cat.[(((((((triple3) -> rule7)) -> rule8) ((triple3) -> rule1)) -> rule2))]