The bear eats the dog. The bear needs the cat. The cat needs the dog. The dog eats the cat. The dog is nice. The dog is rough. The dog needs the cat. The dog visits the bear. The squirrel is blue. The squirrel is green. The squirrel needs the bear. The squirrel needs the cat. If something is rough then it needs the dog. If the dog visits the cat and the cat visits the bear then the cat needs the squirrel. If something is nice then it eats the dog.
The cat needs the dog.
@0: The bear eats the dog.[(triple1)] The bear needs the cat.[(triple2)] The cat needs the dog.[(triple3)] The dog eats the cat.[(triple4)] The dog is nice.[(triple5)] The dog is rough.[(triple6)] The dog needs the cat.[(triple7)] The dog visits the bear.[(triple8)] The squirrel is blue.[(triple9)] The squirrel is green.[(triple10)] The squirrel needs the bear.[(triple11)] The squirrel needs the cat.[(triple12)] @1: The dog eats the dog.[(((triple5) -> rule3))] The dog needs the dog.[(((triple6) -> rule1))]