The bald eagle does not like the cat. The bear is nice. The cat is round. The rabbit likes the cat. If someone is round then they see the bald eagle. If the bear does not like the bald eagle then the bald eagle is blue.
The bear is nice.
@0: The bald eagle does not like the cat.[(triple1)] The bear is nice.[(triple2)] The cat is round.[(triple3)] The rabbit likes the cat.[(triple4)] @1: The cat sees the bald eagle.[(((triple3) -> rule1))]