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