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