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