The dog eats the rabbit. The dog eats the squirrel. The dog needs the squirrel. The dog visits the rabbit. The dog visits the squirrel. The rabbit eats the dog. The rabbit is big. The rabbit is red. The rabbit is rough. The rabbit needs the squirrel. The rabbit visits the dog. The squirrel is big. The squirrel is nice. The squirrel needs the rabbit. The squirrel visits the dog. The squirrel visits the rabbit. If something is rough and it visits the squirrel then the squirrel is rough. If something is rough and it needs the rabbit then it eats the rabbit. If something needs the squirrel then it needs the rabbit. If the rabbit visits the squirrel then the squirrel is red. If the rabbit needs the dog and the rabbit is nice then the dog visits the rabbit. If something is rough and it eats the rabbit then it is young.
The rabbit is not young.
@0: The dog eats the rabbit.[(triple1)] The dog eats the squirrel.[(triple2)] The dog needs the squirrel.[(triple3)] The dog visits the rabbit.[(triple4)] The dog visits the squirrel.[(triple5)] The rabbit eats the dog.[(triple6)] The rabbit is big.[(triple7)] The rabbit is red.[(triple8)] The rabbit is rough.[(triple9)] The rabbit needs the squirrel.[(triple10)] The rabbit visits the dog.[(triple11)] The squirrel is big.[(triple12)] The squirrel is nice.[(triple13)] The squirrel needs the rabbit.[(triple14)] The squirrel visits the dog.[(triple15)] The squirrel visits the rabbit.[(triple16)] @1: The dog needs the rabbit.[(((triple3) -> rule3))] The rabbit needs the rabbit.[(((triple10) -> rule3))] @2: The rabbit eats the rabbit.[(((triple9 ((triple10) -> rule3)) -> rule2))] @3: The rabbit is young.[(((triple9 ((triple9 ((triple10) -> rule3)) -> rule2)) -> rule6))]