The bald eagle likes the mouse. The bald eagle sees the tiger. The bald eagle visits the bear. The bear likes the tiger. The bear does not see the bald eagle. The bear visits the bald eagle. The bear does not visit the mouse. The mouse is red. The mouse does not like the bald eagle. The mouse likes the bear. The mouse sees the bald eagle. The mouse sees the tiger. The tiger is big. The tiger likes the bear. The tiger likes the mouse. The tiger sees the mouse. If the tiger is nice and the tiger is not red then the tiger does not see the bear. If something visits the bald eagle and the bald eagle visits the bear then it likes the bald eagle.
The bald eagle does not see the tiger.
@0: The bald eagle likes the mouse.[(triple1)] The bald eagle sees the tiger.[(triple2)] The bald eagle visits the bear.[(triple3)] The bear does not see the bald eagle.[(triple5)] The bear does not visit the mouse.[(triple7)] The bear likes the tiger.[(triple4)] The bear visits the bald eagle.[(triple6)] The mouse does not like the bald eagle.[(triple9)] The mouse is red.[(triple8)] The mouse likes the bear.[(triple10)] The mouse sees the bald eagle.[(triple11)] The mouse sees the tiger.[(triple12)] The tiger is big.[(triple13)] The tiger likes the bear.[(triple14)] The tiger likes the mouse.[(triple15)] The tiger sees the mouse.[(triple16)] @1: The bear likes the bald eagle.[(((triple6 triple3) -> rule2))]