The bald eagle eats the cat. The bald eagle is blue. The bald eagle is not cold. The bald eagle is not kind. The bald eagle is rough. The bald eagle likes the cat. The bald eagle does not visit the cat. The cat eats the bald eagle. The cat is not blue. The cat is cold. The cat is not kind. The cat is rough. The cat is young. The cat likes the bald eagle. The cat visits the bald eagle. If something visits the cat then the cat does not eat the bald eagle. If something is cold and not young then it does not eat the cat. If something is blue then it visits the bald eagle.
The cat is not rough.
@0: The bald eagle does not visit the cat.[(triple7)] The bald eagle eats the cat.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is not cold.[(triple3)] The bald eagle is not kind.[(triple4)] The bald eagle is rough.[(triple5)] The bald eagle likes the cat.[(triple6)] The cat eats the bald eagle.[(triple8)] The cat is cold.[(triple10)] The cat is not blue.[(triple9)] The cat is not kind.[(triple11)] The cat is rough.[(triple12)] The cat is young.[(triple13)] The cat likes the bald eagle.[(triple14)] The cat visits the bald eagle.[(triple15)] @1: The bald eagle visits the bald eagle.[(((triple2) -> rule3))]