The bald eagle does not eat the mouse. The bald eagle is not rough. The bald eagle needs the lion. The bald eagle sees the lion. The lion is nice. The mouse is kind. The mouse needs the bald eagle. The mouse needs the lion. The mouse sees the lion. The rabbit eats the bald eagle. The rabbit needs the mouse. If someone eats the bald eagle and they see the bald eagle then they are big. If someone is nice and they eat the rabbit then they eat the bald eagle. If someone eats the bald eagle then they are cold. If someone needs the rabbit and they are big then the rabbit sees the mouse. If someone is cold then they need the lion. If someone is cold and big then they do not need the bald eagle. If someone needs the lion then they see the bald eagle. If the rabbit sees the bald eagle and the rabbit is not big then the bald eagle eats the lion. If the bald eagle eats the lion then the bald eagle does not see the lion.
The mouse does not need the mouse.
@0: The bald eagle does not eat the mouse.[(triple1)] The bald eagle is not rough.[(triple2)] The bald eagle needs the lion.[(triple3)] The bald eagle sees the lion.[(triple4)] The lion is nice.[(triple5)] The mouse is kind.[(triple6)] The mouse needs the bald eagle.[(triple7)] The mouse needs the lion.[(triple8)] The mouse sees the lion.[(triple9)] The rabbit eats the bald eagle.[(triple10)] The rabbit needs the mouse.[(triple11)] @1: The bald eagle sees the bald eagle.[(((triple3) -> rule7))] The mouse sees the bald eagle.[(((triple8) -> rule7))] The rabbit is cold.[(((triple10) -> rule3))] @2: The rabbit needs the lion.[(((((triple10) -> rule3)) -> rule5))] @3: The rabbit sees the bald eagle.[(((((((triple10) -> rule3)) -> rule5)) -> rule7))] @4: The rabbit is big.[(((triple10 ((((((triple10) -> rule3)) -> rule5)) -> rule7)) -> rule1))] @5: The rabbit does not need the bald eagle.[(((((triple10) -> rule3) ((triple10 ((((((triple10) -> rule3)) -> rule5)) -> rule7)) -> rule1)) -> rule6))]