The bald eagle chases the mouse. The bald eagle is big. The bald eagle is blue. The bald eagle does not like the mouse. The bald eagle needs the rabbit. The mouse chases the rabbit. The mouse is big. The mouse is red. The mouse likes the bald eagle. The mouse likes the rabbit. The mouse needs the bald eagle. The rabbit does not chase the bald eagle. The rabbit chases the mouse. The rabbit is not blue. The rabbit is round. The rabbit needs the mouse. If someone is red then they like the bald eagle. Big people are red. If someone likes the bald eagle then they are round.
The bald eagle is big.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle does not like the mouse.[(triple4)] The bald eagle is big.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle needs the rabbit.[(triple5)] The mouse chases the rabbit.[(triple6)] The mouse is big.[(triple7)] The mouse is red.[(triple8 OR ((triple7) -> rule2))] The mouse likes the bald eagle.[(triple9 OR ((triple8) -> rule1) OR ((((triple7) -> rule2)) -> rule1))] The mouse likes the rabbit.[(triple10)] The mouse needs the bald eagle.[(triple11)] The rabbit chases the mouse.[(triple13)] The rabbit does not chase the bald eagle.[(triple12)] The rabbit is not blue.[(triple14)] The rabbit is round.[(triple15)] The rabbit needs the mouse.[(triple16)] @1: The bald eagle is red.[(((triple2) -> rule2))] The mouse is round.[(((triple9) -> rule3) OR ((((triple8) -> rule1)) -> rule3) OR ((((((triple7) -> rule2)) -> rule1)) -> rule3))] @2: The bald eagle likes the bald eagle.[(((((triple2) -> rule2)) -> rule1))] @3: The bald eagle is round.[(((((((triple2) -> rule2)) -> rule1)) -> rule3))]