The cat eats the cow. The cow eats the squirrel. The rabbit chases the cow. The rabbit is young. The rabbit sees the cow. The squirrel chases the cat. The squirrel eats the cat. If the cat sees the cow then the cow sees the squirrel. If something sees the squirrel and the squirrel is young then the squirrel is red. If something sees the rabbit then the rabbit sees the cow. If something sees the cow and it chases the rabbit then it sees the squirrel. If something sees the cow and the cow eats the squirrel then it sees the rabbit. If something sees the rabbit and it is round then it sees the cow. If something sees the squirrel and it is rough then it chases the cow. If something sees the cat and the cat is red then it sees the rabbit.
The rabbit sees the rabbit.
@0: The cat eats the cow.[(triple1)] The cow eats the squirrel.[(triple2)] The rabbit chases the cow.[(triple3)] The rabbit is young.[(triple4)] The rabbit sees the cow.[(triple5)] The squirrel chases the cat.[(triple6)] The squirrel eats the cat.[(triple7)] @1: The rabbit sees the rabbit.[(((triple5 triple2) -> rule5))]