The bald eagle eats the mouse. The bald eagle sees the mouse. The bald eagle sees the rabbit. The bald eagle visits the mouse. The mouse eats the bald eagle. The mouse eats the rabbit. The mouse sees the bald eagle. The mouse visits the rabbit. The rabbit eats the bald eagle. The rabbit is cold. The rabbit is kind. The rabbit is rough. The rabbit is young. The rabbit sees the bald eagle. The rabbit sees the mouse. The rabbit visits the bald eagle. If something visits the rabbit then it is young. If something sees the mouse then the mouse visits the bald eagle. Big things are cold. If something sees the rabbit then it visits the rabbit. Young things are cold. If something sees the mouse and it visits the mouse then the mouse eats the rabbit. If something sees the mouse then the mouse is big. If something visits the mouse and the mouse is rough then it eats the mouse.
The mouse eats the bald eagle.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle sees the mouse.[(triple2)] The bald eagle sees the rabbit.[(triple3)] The bald eagle visits the mouse.[(triple4)] The mouse eats the bald eagle.[(triple5)] The mouse eats the rabbit.[(triple6 OR ((triple2 triple4) -> rule6))] The mouse sees the bald eagle.[(triple7)] The mouse visits the rabbit.[(triple8)] The rabbit eats the bald eagle.[(triple9)] The rabbit is cold.[(triple10 OR ((triple13) -> rule5))] The rabbit is kind.[(triple11)] The rabbit is rough.[(triple12)] The rabbit is young.[(triple13)] The rabbit sees the bald eagle.[(triple14)] The rabbit sees the mouse.[(triple15)] The rabbit visits the bald eagle.[(triple16)] @1: The bald eagle visits the rabbit.[(((triple3) -> rule4))] The mouse is big.[(((triple15) -> rule7) OR ((triple2) -> rule7))] The mouse is young.[(((triple8) -> rule1))] The mouse visits the bald eagle.[(((triple15) -> rule2) OR ((triple2) -> rule2))] @2: The bald eagle is young.[(((((triple3) -> rule4)) -> rule1))] The mouse is cold.[(((((triple15) -> rule7)) -> rule3) OR ((((triple2) -> rule7)) -> rule3) OR ((((triple8) -> rule1)) -> rule5))] @3: The bald eagle is cold.[(((((((triple3) -> rule4)) -> rule1)) -> rule5))]