The bald eagle chases the bear. The bald eagle chases the mouse. The bald eagle chases the rabbit. The bald eagle is big. The bald eagle needs the rabbit. The bear chases the bald eagle. The bear eats the rabbit. The bear is cold. The bear needs the bald eagle. The mouse chases the bald eagle. The mouse is red. The mouse needs the bear. The rabbit chases the bald eagle. The rabbit chases the bear. The rabbit eats the bald eagle. The rabbit is round. All kind things are red. If something chases the bald eagle then it is kind. If something chases the mouse then it chases the bald eagle.
The bald eagle needs the rabbit.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the mouse.[(triple2)] The bald eagle chases the rabbit.[(triple3)] The bald eagle is big.[(triple4)] The bald eagle needs the rabbit.[(triple5)] The bear chases the bald eagle.[(triple6)] The bear eats the rabbit.[(triple7)] The bear is cold.[(triple8)] The bear needs the bald eagle.[(triple9)] The mouse chases the bald eagle.[(triple10)] The mouse is red.[(triple11 OR ((((triple10) -> rule2)) -> rule1))] The mouse needs the bear.[(triple12)] The rabbit chases the bald eagle.[(triple13)] The rabbit chases the bear.[(triple14)] The rabbit eats the bald eagle.[(triple15)] The rabbit is round.[(triple16)] @1: The bald eagle chases the bald eagle.[(((triple2) -> rule3))] The bear is kind.[(((triple6) -> rule2))] The mouse is kind.[(((triple10) -> rule2))] The rabbit is kind.[(((triple13) -> rule2))] @2: The bald eagle is kind.[(((((triple2) -> rule3)) -> rule2))] The bear is red.[(((((triple6) -> rule2)) -> rule1))] The rabbit is red.[(((((triple13) -> rule2)) -> rule1))] @3: The bald eagle is red.[(((((((triple2) -> rule3)) -> rule2)) -> rule1))]