The cat is blue. The cat is rough. The cat is young. The rabbit eats the squirrel. The rabbit is rough. The rabbit needs the cat. The rabbit visits the cat. The rabbit visits the squirrel. The squirrel eats the rabbit. The squirrel is round. The squirrel is young. The squirrel needs the cat. If the squirrel is blue then the squirrel eats the cat. If something visits the cat and it eats the squirrel then the cat visits the rabbit. If something is round then it eats the cat.
The rabbit does not visit the squirrel.
@0: The cat is blue.[(triple1)] The cat is rough.[(triple2)] The cat is young.[(triple3)] The rabbit eats the squirrel.[(triple4)] The rabbit is rough.[(triple5)] The rabbit needs the cat.[(triple6)] The rabbit visits the cat.[(triple7)] The rabbit visits the squirrel.[(triple8)] The squirrel eats the rabbit.[(triple9)] The squirrel is round.[(triple10)] The squirrel is young.[(triple11)] The squirrel needs the cat.[(triple12)] @1: The cat visits the rabbit.[(((triple7 triple4) -> rule2))] The squirrel eats the cat.[(((triple10) -> rule3))]