The bald eagle sees the mouse. The dog is big. The lion is nice. The mouse sees the bald eagle. If the bald eagle is round then the bald eagle is rough. If the dog sees the lion then the lion likes the dog. If something sees the bald eagle then the bald eagle sees the dog. If something is rough then it sees the bald eagle. If the dog likes the bald eagle and the bald eagle is big then the dog likes the mouse. If something eats the lion and the lion is round then the lion eats the bald eagle. If something sees the bald eagle then it likes the dog. If something likes the dog then the dog is rough.
The dog does not see the lion.
@0: The bald eagle sees the mouse.[(triple1)] The dog is big.[(triple2)] The lion is nice.[(triple3)] The mouse sees the bald eagle.[(triple4)] @1: The bald eagle sees the dog.[(((triple4) -> rule3) OR ((((((((triple4) -> rule7)) -> rule8)) -> rule4)) -> rule3))] The mouse likes the dog.[(((triple4) -> rule7))] @2: The dog is rough.[(((((triple4) -> rule7)) -> rule8))] @3: The dog sees the bald eagle.[(((((((triple4) -> rule7)) -> rule8)) -> rule4))] @4: The dog likes the dog.[(((((((((triple4) -> rule7)) -> rule8)) -> rule4)) -> rule7))]