The bald eagle eats the mouse. The bald eagle eats the rabbit. The bald eagle is red. The bald eagle sees the rabbit. The mouse is kind. The mouse likes the bald eagle. The mouse sees the squirrel. The rabbit eats the mouse. The rabbit is blue. The rabbit is red. The squirrel eats the bald eagle. If someone sees the bald eagle then they like the squirrel. If someone is green and they like the mouse then they see the bald eagle. If the bald eagle likes the mouse then the mouse is green. If someone is blue and nice then they are kind. If someone is green then they like the mouse. If someone eats the squirrel then they see the mouse. If someone sees the bald eagle and the bald eagle eats the rabbit then the rabbit is blue. If someone is red then they like the mouse.
The rabbit does not like the rabbit.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle sees the rabbit.[(triple4)] The mouse is kind.[(triple5)] The mouse likes the bald eagle.[(triple6)] The mouse sees the squirrel.[(triple7)] The rabbit eats the mouse.[(triple8)] The rabbit is blue.[(triple9 OR ((((((((triple3) -> rule8)) -> rule3) ((((((triple3) -> rule8)) -> rule3)) -> rule5)) -> rule2) triple2) -> rule7))] The rabbit is red.[(triple10)] The squirrel eats the bald eagle.[(triple11)] @1: The bald eagle likes the mouse.[(((triple3) -> rule8))] The rabbit likes the mouse.[(((triple10) -> rule8))] @2: The mouse is green.[(((((triple3) -> rule8)) -> rule3))] @3: The mouse likes the mouse.[(((((((triple3) -> rule8)) -> rule3)) -> rule5))] @4: The mouse sees the bald eagle.[(((((((triple3) -> rule8)) -> rule3) ((((((triple3) -> rule8)) -> rule3)) -> rule5)) -> rule2))] @5: The mouse likes the squirrel.[(((((((((triple3) -> rule8)) -> rule3) ((((((triple3) -> rule8)) -> rule3)) -> rule5)) -> rule2)) -> rule1))]