The cow eats the rabbit. The cow is round. The dog eats the rabbit. The dog is blue. The dog needs the rabbit. The rabbit eats the cow. The squirrel eats the dog. The squirrel is nice. The squirrel is red. The squirrel visits the dog. If the squirrel needs the cow and the cow eats the dog then the cow eats the squirrel. If the dog visits the squirrel then the dog is young. If someone is blue and they need the rabbit then the rabbit visits the cow.
The dog needs the rabbit.
@0: The cow eats the rabbit.[(triple1)] The cow is round.[(triple2)] The dog eats the rabbit.[(triple3)] The dog is blue.[(triple4)] The dog needs the rabbit.[(triple5)] The rabbit eats the cow.[(triple6)] The squirrel eats the dog.[(triple7)] The squirrel is nice.[(triple8)] The squirrel is red.[(triple9)] The squirrel visits the dog.[(triple10)] @1: The rabbit visits the cow.[(((triple4 triple5) -> rule3))]