The bald eagle eats the mouse. The bald eagle is nice. The bald eagle likes the mouse. The bald eagle visits the mouse. The mouse eats the bald eagle. The mouse likes the bald eagle. The mouse visits the bald eagle. If someone visits the mouse and the mouse likes the bald eagle then the mouse is not big. If someone is kind then they do not eat the bald eagle. If someone visits the bald eagle then they eat the bald eagle. All green people are kind. If someone visits the mouse and they like the bald eagle then the bald eagle is green. If someone eats the mouse then they visit the bald eagle. If someone visits the bald eagle then they eat the mouse. If someone visits the mouse and they eat the bald eagle then they are big.
The bald eagle is cold.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle likes the mouse.[(triple3)] The bald eagle visits the mouse.[(triple4)] The mouse eats the bald eagle.[(triple5 OR ((triple7) -> rule3))] The mouse likes the bald eagle.[(triple6)] The mouse visits the bald eagle.[(triple7)] @1: The bald eagle visits the bald eagle.[(((triple1) -> rule6))] The mouse eats the mouse.[(((triple7) -> rule7))] The mouse is not big.[(((triple4 triple6) -> rule1))] @2: The bald eagle eats the bald eagle.[(((((triple1) -> rule6)) -> rule3))] @3: The bald eagle is big.[(((triple4 ((((triple1) -> rule6)) -> rule3)) -> rule8))]