The bald eagle chases the bear. The bald eagle is young. The bear eats the bald eagle. The bear eats the tiger. The bear visits the bald eagle. The bear visits the tiger. The tiger chases the bear. The tiger eats the bald eagle. The tiger eats the bear. The tiger is rough. The tiger visits the bald eagle. The tiger visits the bear. If something eats the bald eagle then it eats the tiger. If something eats the tiger and it visits the bear then the bear is round. If something is round then it is green.
The bald eagle is not green.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle is young.[(triple2)] The bear eats the bald eagle.[(triple3)] The bear eats the tiger.[(triple4 OR ((triple3) -> rule1))] The bear visits the bald eagle.[(triple5)] The bear visits the tiger.[(triple6)] The tiger chases the bear.[(triple7)] The tiger eats the bald eagle.[(triple8)] The tiger eats the bear.[(triple9)] The tiger is rough.[(triple10)] The tiger visits the bald eagle.[(triple11)] The tiger visits the bear.[(triple12)] @1: The tiger eats the tiger.[(((triple8) -> rule1))] @2: The bear is round.[(((((triple8) -> rule1) triple12) -> rule2))] @3: The bear is green.[(((((((triple8) -> rule1) triple12) -> rule2)) -> rule3))]