The cat chases the squirrel. The cat needs the squirrel. The dog chases the squirrel. The dog needs the squirrel. The squirrel chases the cat. The squirrel is nice. The squirrel is red. The squirrel is young. The squirrel needs the cat. The squirrel needs the dog. If something is cold then it chases the dog. If something needs the squirrel then it chases the cat. If something is red then it needs the cat. If something is cold and it chases the squirrel then it eats the dog. If something chases the cat and the cat chases the dog then the dog eats the squirrel. If something needs the squirrel then the squirrel needs the cat. If something needs the dog then the dog eats the squirrel. If the dog is nice and the dog is big then the dog chases the squirrel.
The dog chases the squirrel.
@0: The cat chases the squirrel.[(triple1)] The cat needs the squirrel.[(triple2)] The dog chases the squirrel.[(triple3)] The dog needs the squirrel.[(triple4)] The squirrel chases the cat.[(triple5)] The squirrel is nice.[(triple6)] The squirrel is red.[(triple7)] The squirrel is young.[(triple8)] The squirrel needs the cat.[(triple9 OR ((triple2) -> rule6) OR ((triple4) -> rule6) OR ((triple7) -> rule3))] The squirrel needs the dog.[(triple10)] @1: The cat chases the cat.[(((triple2) -> rule2))] The dog chases the cat.[(((triple4) -> rule2))] The dog eats the squirrel.[(((triple10) -> rule7))]