The bald eagle chases the rabbit. The bald eagle needs the tiger. The rabbit chases the bald eagle. The rabbit is young. The rabbit needs the tiger. The rabbit sees the bald eagle. The rabbit sees the tiger. The tiger is big. The tiger needs the bald eagle. The tiger needs the rabbit. If the rabbit sees the tiger and the rabbit sees the bald eagle then the bald eagle sees the tiger. If something chases the rabbit then it sees the rabbit. If something chases the bald eagle then the bald eagle sees the rabbit.
The rabbit does not see the rabbit.
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle needs the tiger.[(triple2)] The rabbit chases the bald eagle.[(triple3)] The rabbit is young.[(triple4)] The rabbit needs the tiger.[(triple5)] The rabbit sees the bald eagle.[(triple6)] The rabbit sees the tiger.[(triple7)] The tiger is big.[(triple8)] The tiger needs the bald eagle.[(triple9)] The tiger needs the rabbit.[(triple10)] @1: The bald eagle sees the rabbit.[(((triple1) -> rule2) OR ((triple3) -> rule3))] The bald eagle sees the tiger.[(((triple7 triple6) -> rule1))]