The bald eagle is round. The bald eagle sees the squirrel. The bald eagle sees the tiger. The cat chases the bald eagle. The cat chases the squirrel. The cat sees the squirrel. The squirrel is kind. The squirrel is round. The squirrel sees the cat. The squirrel sees the tiger. The squirrel visits the bald eagle. The tiger chases the squirrel. The tiger sees the bald eagle. The tiger sees the cat. The tiger visits the bald eagle. The tiger visits the cat. If the squirrel sees the tiger and the squirrel chases the cat then the tiger sees the bald eagle. If something sees the cat then the cat sees the tiger. If something chases the tiger then the tiger visits the cat.
The cat does not see the tiger.
@0: The bald eagle is round.[(triple1)] The bald eagle sees the squirrel.[(triple2)] The bald eagle sees the tiger.[(triple3)] The cat chases the bald eagle.[(triple4)] The cat chases the squirrel.[(triple5)] The cat sees the squirrel.[(triple6)] The squirrel is kind.[(triple7)] The squirrel is round.[(triple8)] The squirrel sees the cat.[(triple9)] The squirrel sees the tiger.[(triple10)] The squirrel visits the bald eagle.[(triple11)] The tiger chases the squirrel.[(triple12)] The tiger sees the bald eagle.[(triple13)] The tiger sees the cat.[(triple14)] The tiger visits the bald eagle.[(triple15)] The tiger visits the cat.[(triple16)] @1: The cat sees the tiger.[(((triple14) -> rule2) OR ((triple9) -> rule2))]