The bald eagle chases the tiger. The bald eagle is big. The bald eagle likes the tiger. The bald eagle sees the tiger. The tiger is blue. The tiger is green. The tiger likes the bald eagle. If something chases the tiger and the tiger chases the bald eagle then the tiger likes the bald eagle. If the tiger sees the bald eagle then the bald eagle is green. If something likes the bald eagle then it is big.
The bald eagle likes the tiger.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle likes the tiger.[(triple3)] The bald eagle sees the tiger.[(triple4)] The tiger is blue.[(triple5)] The tiger is green.[(triple6)] The tiger likes the bald eagle.[(triple7)] @1: The tiger is big.[(((triple7) -> rule3))]