The bald eagle is not big. The bald eagle is round. The bald eagle sees the mouse. The bald eagle does not visit the mouse. The bald eagle visits the tiger. The mouse sees the bald eagle. The mouse visits the bald eagle. The tiger is cold. The tiger likes the bald eagle. The tiger likes the mouse. If the mouse visits the bald eagle then the mouse is round. If something sees the tiger then the tiger is rough. If something is round and it visits the bald eagle then it does not see the tiger. If something is cold and not round then it sees the tiger. If something visits the tiger and it likes the mouse then the mouse sees the bald eagle. If something visits the bald eagle and it does not see the tiger then it likes the mouse.
The mouse is not round.
@0: The bald eagle does not visit the mouse.[(triple4)] The bald eagle is not big.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle sees the mouse.[(triple3)] The bald eagle visits the tiger.[(triple5)] The mouse sees the bald eagle.[(triple6)] The mouse visits the bald eagle.[(triple7)] The tiger is cold.[(triple8)] The tiger likes the bald eagle.[(triple9)] The tiger likes the mouse.[(triple10)] @1: The mouse is round.[(((triple7) -> rule1))] @2: The mouse does not see the tiger.[(((((triple7) -> rule1) triple7) -> rule3))] @3: The mouse likes the mouse.[(((triple7 ((((triple7) -> rule1) triple7) -> rule3)) -> rule6))]