The bald eagle is blue. The bald eagle does not visit the cat. The cat eats the dog. The cat is rough. The cat needs the bald eagle. The cat needs the dog. The cat visits the dog. The dog eats the bald eagle. The dog does not eat the cat. The dog needs the bald eagle. If something is blue then it is not rough. If something is rough and it visits the bald eagle then it does not eat the bald eagle.
The cat needs the bald eagle.
@0: The bald eagle does not visit the cat.[(triple2)] The bald eagle is blue.[(triple1)] The cat eats the dog.[(triple3)] The cat is rough.[(triple4)] The cat needs the bald eagle.[(triple5)] The cat needs the dog.[(triple6)] The cat visits the dog.[(triple7)] The dog does not eat the cat.[(triple9)] The dog eats the bald eagle.[(triple8)] The dog needs the bald eagle.[(triple10)] @1: The bald eagle is not rough.[(((triple1) -> rule1))]