The bald eagle is big. The bald eagle is cold. The bear chases the bald eagle. The bear does not chase the tiger. The bear visits the tiger. The tiger chases the bear. The tiger is not big. The tiger is blue. The tiger is rough. The tiger sees the bald eagle. The tiger sees the bear. The tiger visits the bear. If someone is rough and they do not chase the tiger then the tiger visits the bear. If someone is blue and they see the bear then the bear visits the bald eagle. If someone sees the bald eagle then the bald eagle visits the tiger. If someone visits the tiger then they visit the bear. If someone visits the bear and they visit the tiger then the tiger visits the bald eagle. If someone chases the tiger and they see the tiger then they are rough.
The bear does not visit the bald eagle.
@0: The bald eagle is big.[(triple1)] The bald eagle is cold.[(triple2)] The bear chases the bald eagle.[(triple3)] The bear does not chase the tiger.[(triple4)] The bear visits the tiger.[(triple5)] The tiger chases the bear.[(triple6)] The tiger is blue.[(triple8)] The tiger is not big.[(triple7)] The tiger is rough.[(triple9)] The tiger sees the bald eagle.[(triple10)] The tiger sees the bear.[(triple11)] The tiger visits the bear.[(triple12)] @1: The bald eagle visits the tiger.[(((triple10) -> rule3))] The bear visits the bald eagle.[(((triple8 triple11) -> rule2))] The bear visits the bear.[(((triple5) -> rule4))] @2: The bald eagle visits the bear.[(((((triple10) -> rule3)) -> rule4))] The tiger visits the bald eagle.[(((((triple5) -> rule4) triple5) -> rule5) OR ((((((triple10) -> rule3)) -> rule4) ((triple10) -> rule3)) -> rule5))]