The bald eagle is green. The bald eagle is nice. The bald eagle is round. The mouse eats the bald eagle. The mouse is big. The mouse is green. The mouse likes the bald eagle. The mouse likes the rabbit. The mouse sees the rabbit. The rabbit eats the bald eagle. The rabbit is cold. The rabbit likes the mouse. If someone likes the mouse then they eat the mouse. If someone eats the bald eagle then the bald eagle likes the rabbit. If someone likes the bald eagle then the bald eagle sees the mouse. If someone likes the bald eagle and they see the rabbit then they are nice. If someone eats the bald eagle then they are cold. If someone likes the mouse and the mouse is nice then the mouse likes the rabbit. If someone sees the mouse then they eat the bald eagle. If someone is nice then they see the rabbit.
The rabbit sees the rabbit.
@0: The bald eagle is green.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is round.[(triple3)] The mouse eats the bald eagle.[(triple4)] The mouse is big.[(triple5)] The mouse is green.[(triple6)] The mouse likes the bald eagle.[(triple7)] The mouse likes the rabbit.[(triple8 OR ((triple12 ((triple7 triple9) -> rule4)) -> rule6))] The mouse sees the rabbit.[(triple9)] The rabbit eats the bald eagle.[(triple10)] The rabbit is cold.[(triple11 OR ((triple10) -> rule5))] The rabbit likes the mouse.[(triple12)] @1: The bald eagle likes the rabbit.[(((triple10) -> rule2) OR ((triple4) -> rule2) OR ((((((triple7) -> rule3)) -> rule7)) -> rule2))] The bald eagle sees the mouse.[(((triple7) -> rule3))] The bald eagle sees the rabbit.[(((triple2) -> rule8))] The mouse is cold.[(((triple4) -> rule5))] The mouse is nice.[(((triple7 triple9) -> rule4))] The rabbit eats the mouse.[(((triple12) -> rule1))] @2: The bald eagle eats the bald eagle.[(((((triple7) -> rule3)) -> rule7))] @3: The bald eagle is cold.[(((((((triple7) -> rule3)) -> rule7)) -> rule5))]