The bald eagle is cold. The bald eagle likes the squirrel. The bald eagle likes the tiger. The bald eagle sees the squirrel. The bald eagle sees the tiger. The bald eagle visits the squirrel. The squirrel is blue. The squirrel likes the tiger. The squirrel visits the bald eagle. The tiger is cold. The tiger is round. The tiger does not like the bald eagle. The tiger likes the squirrel. The tiger sees the bald eagle. The tiger does not see the squirrel. The tiger visits the squirrel. If something sees the squirrel then the squirrel visits the bald eagle. If something sees the tiger and it does not like the bald eagle then the bald eagle sees the tiger. If something sees the squirrel and it is red then it sees the bald eagle. If something visits the tiger then the tiger is blue. All red things are not cold. If something is cold and it sees the tiger then it does not visit the tiger. If something sees the tiger then it visits the bald eagle. If something visits the squirrel and it is cold then it is blue.
The tiger visits the squirrel.
@0: The bald eagle is cold.[(triple1)] The bald eagle likes the squirrel.[(triple2)] The bald eagle likes the tiger.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The bald eagle sees the tiger.[(triple5)] The bald eagle visits the squirrel.[(triple6)] The squirrel is blue.[(triple7)] The squirrel likes the tiger.[(triple8)] The squirrel visits the bald eagle.[(triple9 OR ((triple4) -> rule1))] The tiger does not like the bald eagle.[(triple12)] The tiger does not see the squirrel.[(triple15)] The tiger is cold.[(triple10)] The tiger is round.[(triple11)] The tiger likes the squirrel.[(triple13)] The tiger sees the bald eagle.[(triple14)] The tiger visits the squirrel.[(triple16)] @1: The bald eagle does not visit the tiger.[(((triple1 triple5) -> rule6))] The bald eagle is blue.[(((triple6 triple1) -> rule8))] The bald eagle visits the bald eagle.[(((triple5) -> rule7))] The tiger is blue.[(((triple16 triple10) -> rule8))]