The bald eagle is nice. The bald eagle likes the cat. The bald eagle needs the cat. The cat is cold. The cat likes the bald eagle. The cat likes the cow. The cat needs the cow. The cat visits the cow. The cow likes the bald eagle. The cow likes the cat. The cow needs the cat. The cow visits the bald eagle. If something visits the cat then it is kind. If something is green and cold then it needs the bald eagle. If something needs the bald eagle then the bald eagle is nice. If the bald eagle is cold then the bald eagle is nice. If something needs the bald eagle and the bald eagle needs the cow then the bald eagle visits the cat. If something visits the bald eagle then the bald eagle likes the cow.
The cow is not kind.
@0: The bald eagle is nice.[(triple1)] The bald eagle likes the cat.[(triple2)] The bald eagle needs the cat.[(triple3)] The cat is cold.[(triple4)] The cat likes the bald eagle.[(triple5)] The cat likes the cow.[(triple6)] The cat needs the cow.[(triple7)] The cat visits the cow.[(triple8)] The cow likes the bald eagle.[(triple9)] The cow likes the cat.[(triple10)] The cow needs the cat.[(triple11)] The cow visits the bald eagle.[(triple12)] @1: The bald eagle likes the cow.[(((triple12) -> rule6))]