The bald eagle eats the rabbit. The bald eagle is big. The bald eagle is blue. The rabbit chases the bald eagle. The rabbit eats the bald eagle. The rabbit is big. The rabbit is blue. The rabbit is kind. The rabbit is nice. The rabbit is red. If something eats the bald eagle then it likes the rabbit. If something is kind then it is big. If something likes the bald eagle then it eats the bald eagle.
The rabbit chases the bald eagle.
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is blue.[(triple3)] The rabbit chases the bald eagle.[(triple4)] The rabbit eats the bald eagle.[(triple5)] The rabbit is big.[(triple6 OR ((triple8) -> rule2))] The rabbit is blue.[(triple7)] The rabbit is kind.[(triple8)] The rabbit is nice.[(triple9)] The rabbit is red.[(triple10)] @1: The rabbit likes the rabbit.[(((triple5) -> rule1))]