The bald eagle eats the cat. The bald eagle is big. The bald eagle is nice. The bald eagle is rough. The bald eagle is round. The bald eagle likes the cat. The bald eagle visits the cat. The cat eats the bald eagle. The cat is nice. The cat visits the bald eagle. If the cat eats the bald eagle then the cat is rough. If something visits the cat then the cat likes the bald eagle. If the cat visits the bald eagle and the bald eagle is rough then the bald eagle likes the cat.
The cat eats the bald eagle.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle is round.[(triple5)] The bald eagle likes the cat.[(triple6 OR ((triple10 triple4) -> rule3))] The bald eagle visits the cat.[(triple7)] The cat eats the bald eagle.[(triple8)] The cat is nice.[(triple9)] The cat visits the bald eagle.[(triple10)] @1: The cat is rough.[(((triple8) -> rule1))] The cat likes the bald eagle.[(((triple7) -> rule2))]