The bald eagle is green. The bald eagle is nice. The bald eagle is not young. The bald eagle sees the squirrel. The squirrel is green. The squirrel is nice. The squirrel likes the tiger. The squirrel sees the bald eagle. The squirrel sees the tiger. The squirrel visits the bald eagle. The squirrel visits the tiger. The tiger is big. The tiger is green. The tiger sees the bald eagle. The tiger sees the squirrel. The tiger visits the squirrel. If the squirrel visits the bald eagle then the squirrel sees the tiger. If something likes the bald eagle and it does not visit the tiger then the bald eagle does not visit the squirrel. If something visits the tiger and it is nice then it likes the bald eagle. If something is blue then it likes the bald eagle. If something likes the squirrel and the squirrel visits the tiger then the tiger sees the squirrel. If something likes the bald eagle then the bald eagle is not blue. If the bald eagle visits the squirrel then the squirrel visits the bald eagle. If the bald eagle visits the squirrel and the bald eagle visits the tiger then the squirrel likes the bald eagle.
The tiger visits the bald eagle.
@0: The bald eagle is green.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is not young.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The squirrel is green.[(triple5)] The squirrel is nice.[(triple6)] The squirrel likes the tiger.[(triple7)] The squirrel sees the bald eagle.[(triple8)] The squirrel sees the tiger.[(triple9 OR ((triple10) -> rule1))] The squirrel visits the bald eagle.[(triple10)] The squirrel visits the tiger.[(triple11)] The tiger is big.[(triple12)] The tiger is green.[(triple13)] The tiger sees the bald eagle.[(triple14)] The tiger sees the squirrel.[(triple15)] The tiger visits the squirrel.[(triple16)] @1: The squirrel likes the bald eagle.[(((triple11 triple6) -> rule3))] @2: The bald eagle is not blue.[(((((triple11 triple6) -> rule3)) -> rule6))]