The bald eagle chases the cat. The bald eagle likes the bear. The bear chases the cat. The bear is round. The cat chases the bald eagle. The cat chases the bear. The cat chases the cow. The cat is cold. The cat is nice. The cat is round. The cat likes the bear. The cat likes the cow. The cat sees the bear. The cow chases the bald eagle. The cow is round. The cow likes the bear. If the cat chases the bear then the cat sees the cow. If something is cold then it likes the bear.
The bald eagle does not like the bear.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle likes the bear.[(triple2)] The bear chases the cat.[(triple3)] The bear is round.[(triple4)] The cat chases the bald eagle.[(triple5)] The cat chases the bear.[(triple6)] The cat chases the cow.[(triple7)] The cat is cold.[(triple8)] The cat is nice.[(triple9)] The cat is round.[(triple10)] The cat likes the bear.[(triple11 OR ((triple8) -> rule2))] The cat likes the cow.[(triple12)] The cat sees the bear.[(triple13)] The cow chases the bald eagle.[(triple14)] The cow is round.[(triple15)] The cow likes the bear.[(triple16)] @1: The cat sees the cow.[(((triple6) -> rule1))]