The bald eagle sees the tiger. The cow eats the tiger. The cow is blue. The cow is cold. The cow is nice. The cow is round. The cow needs the tiger. The tiger is nice. The tiger needs the bald eagle. The tiger needs the cow. The tiger sees the bald eagle. The tiger sees the cow. If something eats the tiger then the tiger sees the bald eagle. If something needs the cow and the cow is young then it eats the cow.
The cow does not eat the tiger.
@0: The bald eagle sees the tiger.[(triple1)] The cow eats the tiger.[(triple2)] The cow is blue.[(triple3)] The cow is cold.[(triple4)] The cow is nice.[(triple5)] The cow is round.[(triple6)] The cow needs the tiger.[(triple7)] The tiger is nice.[(triple8)] The tiger needs the bald eagle.[(triple9)] The tiger needs the cow.[(triple10)] The tiger sees the bald eagle.[(triple11 OR ((triple2) -> rule1))] The tiger sees the cow.[(triple12)]