The cat eats the dog. The cat is round. The cat visits the squirrel. The dog does not chase the squirrel. The dog is blue. The dog visits the squirrel. The squirrel does not eat the cat. The squirrel is blue. The squirrel is round. The squirrel visits the cat. If the squirrel is nice then the squirrel is young. If something visits the cat then the cat chases the dog. If something visits the dog and the dog is blue then it is nice. If something eats the squirrel and the squirrel does not chase the cat then it chases the dog. If something chases the squirrel and it is not nice then it chases the dog. If something chases the dog then the dog chases the cat. If something chases the cat and the cat eats the squirrel then the cat is not young. If something eats the dog and it does not chase the dog then the dog eats the cat.
The squirrel is blue.
@0: The cat eats the dog.[(triple1)] The cat is round.[(triple2)] The cat visits the squirrel.[(triple3)] The dog does not chase the squirrel.[(triple4)] The dog is blue.[(triple5)] The dog visits the squirrel.[(triple6)] The squirrel does not eat the cat.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is round.[(triple9)] The squirrel visits the cat.[(triple10)] @1: The cat chases the dog.[(((triple10) -> rule2))] @2: The dog chases the cat.[(((((triple10) -> rule2)) -> rule6))]