The bald eagle is cold. The bald eagle is green. The bald eagle likes the squirrel. The bald eagle likes the tiger. The bald eagle visits the squirrel. The bald eagle visits the tiger. The squirrel eats the bald eagle. The squirrel visits the bald eagle. The tiger eats the bald eagle. The tiger is cold. The tiger is green. The tiger is kind. The tiger is red. The tiger likes the bald eagle. The tiger visits the bald eagle. The tiger visits the squirrel. If the tiger is kind and the tiger eats the bald eagle then the bald eagle likes the squirrel. If something is green then it likes the tiger.
The squirrel likes the squirrel.
@0: The bald eagle is cold.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle likes the squirrel.[(triple3 OR ((triple12 triple9) -> rule1))] The bald eagle likes the tiger.[(triple4 OR ((triple2) -> rule2))] The bald eagle visits the squirrel.[(triple5)] The bald eagle visits the tiger.[(triple6)] The squirrel eats the bald eagle.[(triple7)] The squirrel visits the bald eagle.[(triple8)] The tiger eats the bald eagle.[(triple9)] The tiger is cold.[(triple10)] The tiger is green.[(triple11)] The tiger is kind.[(triple12)] The tiger is red.[(triple13)] The tiger likes the bald eagle.[(triple14)] The tiger visits the bald eagle.[(triple15)] The tiger visits the squirrel.[(triple16)] @1: The tiger likes the tiger.[(((triple11) -> rule2))]