The bald eagle chases the tiger. The bald eagle is big. The bald eagle likes the bear. The bear chases the tiger. The bear is young. The bear likes the bald eagle. The bear likes the tiger. The bear visits the bald eagle. The tiger likes the bear. The tiger visits the bald eagle. If someone chases the tiger and they like the bear then they like the bald eagle. If someone likes the tiger then they are young. If someone likes the bald eagle then they like the tiger.
The bald eagle does not like the tiger.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle likes the bear.[(triple3)] The bear chases the tiger.[(triple4)] The bear is young.[(triple5 OR ((triple7) -> rule2) OR ((((triple6) -> rule3)) -> rule2))] The bear likes the bald eagle.[(triple6)] The bear likes the tiger.[(triple7 OR ((triple6) -> rule3))] The bear visits the bald eagle.[(triple8)] The tiger likes the bear.[(triple9)] The tiger visits the bald eagle.[(triple10)] @1: The bald eagle likes the bald eagle.[(((triple1 triple3) -> rule1))] @2: The bald eagle likes the tiger.[(((((triple1 triple3) -> rule1)) -> rule3))] @3: The bald eagle is young.[(((((((triple1 triple3) -> rule1)) -> rule3)) -> rule2))]