The bald eagle is rough. The bald eagle needs the cow. The bald eagle visits the cat. The cat eats the bald eagle. The cat needs the bald eagle. The cat visits the bald eagle. The cow eats the cat. The cow is kind. The cow is young. The cow needs the dog. The dog eats the bald eagle. The dog is kind. The dog needs the cat. The dog needs the cow. The dog visits the cow. If something needs the dog then it is nice. If the cow is round then the cow eats the cat. If something is round and it eats the dog then the dog needs the cow. If something is rough then it visits the dog. If something needs the bald eagle then it needs the cat. If something eats the cow and it is nice then it is round. If something needs the cow then it is rough. If something needs the cow then it needs the bald eagle.
The bald eagle needs the cat.
@0: The bald eagle is rough.[(triple1 OR ((triple2) -> rule7))] The bald eagle needs the cow.[(triple2)] The bald eagle visits the cat.[(triple3)] The cat eats the bald eagle.[(triple4)] The cat needs the bald eagle.[(triple5)] The cat visits the bald eagle.[(triple6)] The cow eats the cat.[(triple7)] The cow is kind.[(triple8)] The cow is young.[(triple9)] The cow needs the dog.[(triple10)] The dog eats the bald eagle.[(triple11)] The dog is kind.[(triple12)] The dog needs the cat.[(triple13 OR ((((triple14) -> rule8)) -> rule5))] The dog needs the cow.[(triple14)] The dog visits the cow.[(triple15)] @1: The bald eagle needs the bald eagle.[(((triple2) -> rule8))] The bald eagle visits the dog.[(((triple1) -> rule4) OR ((((triple2) -> rule7)) -> rule4))] The cat needs the cat.[(((triple5) -> rule5))] The cow is nice.[(((triple10) -> rule1))] The dog is rough.[(((triple14) -> rule7))] The dog needs the bald eagle.[(((triple14) -> rule8))] @2: The bald eagle needs the cat.[(((((triple2) -> rule8)) -> rule5))] The dog visits the dog.[(((((triple14) -> rule7)) -> rule4))]