The bald eagle eats the cat. The bald eagle eats the tiger. The bald eagle needs the cat. The bald eagle visits the tiger. The cat eats the dog. The cat eats the tiger. The cat needs the tiger. The cat visits the dog. The dog is nice. The dog is rough. The dog visits the bald eagle. The dog visits the cat. The dog visits the tiger. The tiger is rough. The tiger needs the bald eagle. The tiger needs the dog. If something visits the bald eagle and it needs the cat then the cat is rough. If something visits the cat and it needs the tiger then the tiger needs the cat. If something is rough and it needs the dog then the dog is blue.
The dog is rough.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle needs the cat.[(triple3)] The bald eagle visits the tiger.[(triple4)] The cat eats the dog.[(triple5)] The cat eats the tiger.[(triple6)] The cat needs the tiger.[(triple7)] The cat visits the dog.[(triple8)] The dog is nice.[(triple9)] The dog is rough.[(triple10)] The dog visits the bald eagle.[(triple11)] The dog visits the cat.[(triple12)] The dog visits the tiger.[(triple13)] The tiger is rough.[(triple14)] The tiger needs the bald eagle.[(triple15)] The tiger needs the dog.[(triple16)] @1: The dog is blue.[(((triple14 triple16) -> rule3))]