The bald eagle does not chase the cow. The bald eagle chases the tiger. The bald eagle eats the cow. The bald eagle eats the tiger. The bald eagle sees the cow. The bald eagle sees the tiger. The cow does not chase the tiger. The cow eats the bald eagle. The cow eats the tiger. The cow is nice. The cow is round. The cow sees the tiger. The tiger eats the cow. The tiger is nice. The tiger is red. The tiger sees the cow. If someone eats the tiger then the tiger chases the cow.
The bald eagle is round.
@0: The bald eagle chases the tiger.[(triple2)] The bald eagle does not chase the cow.[(triple1)] The bald eagle eats the cow.[(triple3)] The bald eagle eats the tiger.[(triple4)] The bald eagle sees the cow.[(triple5)] The bald eagle sees the tiger.[(triple6)] The cow does not chase the tiger.[(triple7)] The cow eats the bald eagle.[(triple8)] The cow eats the tiger.[(triple9)] The cow is nice.[(triple10)] The cow is round.[(triple11)] The cow sees the tiger.[(triple12)] The tiger eats the cow.[(triple13)] The tiger is nice.[(triple14)] The tiger is red.[(triple15)] The tiger sees the cow.[(triple16)] @1: The tiger chases the cow.[(((triple4) -> rule1) OR ((triple9) -> rule1))]