The bald eagle chases the dog. The bald eagle eats the cat. The bald eagle eats the dog. The bald eagle is blue. The bald eagle does not like the cat. The cat likes the bald eagle. The cat likes the dog. The dog eats the bald eagle. The dog likes the bald eagle. The dog likes the cat. If something likes the cat and the cat likes the bald eagle then the cat is blue.
The bald eagle is round.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle does not like the cat.[(triple5)] The bald eagle eats the cat.[(triple2)] The bald eagle eats the dog.[(triple3)] The bald eagle is blue.[(triple4)] The cat likes the bald eagle.[(triple6)] The cat likes the dog.[(triple7)] The dog eats the bald eagle.[(triple8)] The dog likes the bald eagle.[(triple9)] The dog likes the cat.[(triple10)] @1: The cat is blue.[(((triple10 triple6) -> rule1))]