The bald eagle does not chase the mouse. The bald eagle sees the tiger. The cow is round. The mouse is red. The tiger does not eat the bald eagle. The tiger sees the bald eagle. The tiger sees the mouse. If the bald eagle is round then the bald eagle chases the cow. Rough things are green. If something eats the cow and it chases the tiger then it chases the mouse. If something sees the tiger then it is rough. If the tiger is round and the tiger sees the mouse then the tiger sees the bald eagle. If something is red then it eats the tiger. If something sees the mouse and it eats the tiger then it does not eat the mouse. If the bald eagle eats the cow and the bald eagle is not green then the cow eats the tiger.
The bald eagle is not rough.
@0: The bald eagle does not chase the mouse.[(triple1)] The bald eagle sees the tiger.[(triple2)] The cow is round.[(triple3)] The mouse is red.[(triple4)] The tiger does not eat the bald eagle.[(triple5)] The tiger sees the bald eagle.[(triple6)] The tiger sees the mouse.[(triple7)] @1: The bald eagle is rough.[(((triple2) -> rule4))] The mouse eats the tiger.[(((triple4) -> rule6))] @2: The bald eagle is green.[(((((triple2) -> rule4)) -> rule2))]