The bald eagle eats the cat. The bald eagle is blue. The bald eagle is green. The bald eagle is nice. The bald eagle is rough. The bald eagle is young. The bald eagle likes the cat. The bald eagle needs the cat. The cat eats the bald eagle. The cat is blue. The cat is green. The cat is nice. The cat is rough. The cat is young. The cat likes the bald eagle. The cat needs the bald eagle. If something eats the cat and it is rough then the cat likes the bald eagle.
The bald eagle does not like the cat.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is rough.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle likes the cat.[(triple7)] The bald eagle needs the cat.[(triple8)] The cat eats the bald eagle.[(triple9)] The cat is blue.[(triple10)] The cat is green.[(triple11)] The cat is nice.[(triple12)] The cat is rough.[(triple13)] The cat is young.[(triple14)] The cat likes the bald eagle.[(triple15 OR ((triple1 triple5) -> rule1))] The cat needs the bald eagle.[(triple16)]