The cat chases the squirrel. The cat eats the cow. The cow chases the cat. The cow eats the cat. The cow eats the squirrel. The cow is kind. The cow likes the squirrel. The squirrel eats the cat. The squirrel eats the cow. The squirrel is green. The squirrel is kind. The squirrel likes the cow. If something eats the cat and the cat is kind then it eats the cow. If something is blue and it likes the cow then the cow is green. If something likes the squirrel and the squirrel eats the cow then the cow is kind. If something is big then it chases the cat. All green things are big. If something is kind then it likes the cow. If the squirrel chases the cow and the cow eats the cat then the cat chases the cow. If something eats the cow then it chases the squirrel.
The squirrel chases the cat.
@0: The cat chases the squirrel.[(triple1 OR ((triple2) -> rule8))] The cat eats the cow.[(triple2)] The cow chases the cat.[(triple3)] The cow eats the cat.[(triple4)] The cow eats the squirrel.[(triple5)] The cow is kind.[(triple6 OR ((triple7 triple9) -> rule3))] The cow likes the squirrel.[(triple7)] The squirrel eats the cat.[(triple8)] The squirrel eats the cow.[(triple9)] The squirrel is green.[(triple10)] The squirrel is kind.[(triple11)] The squirrel likes the cow.[(triple12 OR ((triple11) -> rule6))] @1: The cow likes the cow.[(((triple6) -> rule6) OR ((((triple7 triple9) -> rule3)) -> rule6))] The squirrel chases the squirrel.[(((triple9) -> rule8))] The squirrel is big.[(((triple10) -> rule5))] @2: The squirrel chases the cat.[(((((triple10) -> rule5)) -> rule4))]