The bald eagle is big. The bald eagle sees the mouse. The bald eagle visits the tiger. The mouse likes the bald eagle. The tiger likes the bald eagle. The tiger sees the mouse. The tiger visits the mouse. If the bald eagle visits the tiger then the bald eagle likes the tiger. If the bald eagle sees the tiger and the bald eagle visits the tiger then the bald eagle likes the tiger. If something is rough and it sees the tiger then it is big. If something sees the bald eagle and the bald eagle is young then the bald eagle likes the mouse. If the tiger sees the mouse then the tiger is rough. If something likes the bald eagle then the bald eagle visits the mouse. If something is rough then it likes the tiger. If the mouse likes the tiger and the mouse visits the tiger then the mouse likes the bald eagle.
The tiger is not big.
@0: The bald eagle is big.[(triple1)] The bald eagle sees the mouse.[(triple2)] The bald eagle visits the tiger.[(triple3)] The mouse likes the bald eagle.[(triple4)] The tiger likes the bald eagle.[(triple5)] The tiger sees the mouse.[(triple6)] The tiger visits the mouse.[(triple7)] @1: The bald eagle likes the tiger.[(((triple3) -> rule1))] The bald eagle visits the mouse.[(((triple4) -> rule6) OR ((triple5) -> rule6))] The tiger is rough.[(((triple6) -> rule5))] @2: The tiger likes the tiger.[(((((triple6) -> rule5)) -> rule7))]