The bald eagle is kind. The bald eagle sees the squirrel. The squirrel eats the tiger. The squirrel is not green. The squirrel is rough. The squirrel sees the bald eagle. The squirrel does not see the tiger. The squirrel visits the tiger. The tiger eats the squirrel. The tiger is cold. The tiger is green. The tiger sees the bald eagle. The tiger sees the squirrel. The tiger visits the bald eagle. The tiger visits the squirrel. If someone is kind and they see the tiger then the tiger does not see the squirrel. If someone is cold and not nice then they do not see the tiger. If someone visits the squirrel then they do not eat the tiger. If someone eats the squirrel and they do not eat the tiger then the squirrel visits the bald eagle. If someone visits the bald eagle then the bald eagle visits the tiger. If someone eats the squirrel and the squirrel visits the bald eagle then they see the bald eagle.
The squirrel does not visit the bald eagle.
@0: The bald eagle is kind.[(triple1)] The bald eagle sees the squirrel.[(triple2)] The squirrel does not see the tiger.[(triple7)] The squirrel eats the tiger.[(triple3)] The squirrel is not green.[(triple4)] The squirrel is rough.[(triple5)] The squirrel sees the bald eagle.[(triple6)] The squirrel visits the tiger.[(triple8)] The tiger eats the squirrel.[(triple9)] The tiger is cold.[(triple10)] The tiger is green.[(triple11)] The tiger sees the bald eagle.[(triple12 OR ((triple9 ((triple9 ((triple15) -> rule3)) -> rule4)) -> rule6))] The tiger sees the squirrel.[(triple13)] The tiger visits the bald eagle.[(triple14)] The tiger visits the squirrel.[(triple15)] @1: The bald eagle visits the tiger.[(((triple14) -> rule5) OR ((((triple9 ((triple15) -> rule3)) -> rule4)) -> rule5))] The tiger does not eat the tiger.[(((triple15) -> rule3))] @2: The squirrel visits the bald eagle.[(((triple9 ((triple15) -> rule3)) -> rule4))]