The bald eagle needs the cat. The bald eagle sees the cat. The bald eagle sees the cow. The cat chases the bald eagle. The cat chases the cow. The cat chases the tiger. The cat is nice. The cat needs the cow. The cow sees the bald eagle. The tiger chases the cat. The tiger is red. The tiger sees the bald eagle. If something chases the cat then it needs the cow. If the cat is nice then the cat sees the bald eagle. If something is red and cold then it needs the cow. If something chases the bald eagle then it is nice. If something chases the cow and the cow sees the bald eagle then the cow is red. If something is cold and it needs the cat then the cat is nice. If the cat needs the tiger then the tiger sees the cow. If something chases the cat and the cat needs the bald eagle then the bald eagle is young.
The tiger chases the cow.
@0: The bald eagle needs the cat.[(triple1)] The bald eagle sees the cat.[(triple2)] The bald eagle sees the cow.[(triple3)] The cat chases the bald eagle.[(triple4)] The cat chases the cow.[(triple5)] The cat chases the tiger.[(triple6)] The cat is nice.[(triple7 OR ((triple4) -> rule4))] The cat needs the cow.[(triple8)] The cow sees the bald eagle.[(triple9)] The tiger chases the cat.[(triple10)] The tiger is red.[(triple11)] The tiger sees the bald eagle.[(triple12)] @1: The cat sees the bald eagle.[(((triple7) -> rule2) OR ((((triple4) -> rule4)) -> rule2))] The cow is red.[(((triple5 triple9) -> rule5))] The tiger needs the cow.[(((triple10) -> rule1))]