The bald eagle chases the bear. The bald eagle eats the bear. The bald eagle is green. The bald eagle sees the bear. The bald eagle sees the tiger. The bear chases the bald eagle. The bear eats the bald eagle. The bear is cold. The bear is green. The bear is red. The tiger chases the bear. The tiger eats the bald eagle. The tiger is green. The tiger is kind. The tiger sees the bear. If someone chases the bald eagle then the bald eagle chases the bear. If someone chases the bear and the bear is green then they chase the tiger. If someone chases the bear then they see the bald eagle. If someone sees the bear and they see the bald eagle then the bear sees the tiger. If someone sees the bald eagle then they see the bear. If the bald eagle is rough and the bald eagle chases the bear then the bald eagle is kind.
The bear does not see the bear.
@0: The bald eagle chases the bear.[(triple1 OR ((triple6) -> rule1))] The bald eagle eats the bear.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle sees the bear.[(triple4 OR ((((triple1) -> rule3)) -> rule5) OR ((((((triple6) -> rule1)) -> rule3)) -> rule5))] The bald eagle sees the tiger.[(triple5)] The bear chases the bald eagle.[(triple6)] The bear eats the bald eagle.[(triple7)] The bear is cold.[(triple8)] The bear is green.[(triple9)] The bear is red.[(triple10)] The tiger chases the bear.[(triple11)] The tiger eats the bald eagle.[(triple12)] The tiger is green.[(triple13)] The tiger is kind.[(triple14)] The tiger sees the bear.[(triple15 OR ((((triple11) -> rule3)) -> rule5))] @1: The bald eagle chases the tiger.[(((triple1 triple9) -> rule2) OR ((((triple6) -> rule1) triple9) -> rule2))] The bald eagle sees the bald eagle.[(((triple1) -> rule3) OR ((((triple6) -> rule1)) -> rule3))] The tiger chases the tiger.[(((triple11 triple9) -> rule2))] The tiger sees the bald eagle.[(((triple11) -> rule3))] @2: The bear sees the tiger.[(((triple15 ((triple11) -> rule3)) -> rule4) OR ((triple4 ((triple1) -> rule3)) -> rule4) OR ((triple4 ((((triple6) -> rule1)) -> rule3)) -> rule4) OR ((((((triple1) -> rule3)) -> rule5) ((triple1) -> rule3)) -> rule4) OR ((((((triple11) -> rule3)) -> rule5) ((triple11) -> rule3)) -> rule4) OR ((((((triple1) -> rule3)) -> rule5) ((((triple6) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple6) -> rule1)) -> rule3)) -> rule5) ((triple1) -> rule3)) -> rule4) OR ((((((((triple6) -> rule1)) -> rule3)) -> rule5) ((((triple6) -> rule1)) -> rule3)) -> rule4))]