The bald eagle eats the dog. The bald eagle is nice. The bald eagle visits the cow. The bald eagle visits the dog. The cow is nice. The cow is red. The cow is rough. The cow needs the bald eagle. The cow needs the dog. The cow visits the bald eagle. The cow visits the dog. The dog is cold. The dog is young. The dog needs the cow. The dog visits the cow. If someone eats the cow then the cow is rough. If someone is young then they need the dog. If someone needs the cow then they eat the dog. If the dog needs the cow then the dog eats the bald eagle. If someone eats the dog then they need the cow. If the cow eats the dog then the dog eats the bald eagle. If someone eats the bald eagle then the bald eagle eats the dog. If someone eats the dog and the dog is cold then the dog is rough.
The bald eagle is red.
@0: The bald eagle eats the dog.[(triple1 OR ((((triple14) -> rule4)) -> rule7))] The bald eagle is nice.[(triple2)] The bald eagle visits the cow.[(triple3)] The bald eagle visits the dog.[(triple4)] The cow is nice.[(triple5)] The cow is red.[(triple6)] The cow is rough.[(triple7)] The cow needs the bald eagle.[(triple8)] The cow needs the dog.[(triple9)] The cow visits the bald eagle.[(triple10)] The cow visits the dog.[(triple11)] The dog is cold.[(triple12)] The dog is young.[(triple13)] The dog needs the cow.[(triple14)] The dog visits the cow.[(triple15)] @1: The bald eagle needs the cow.[(((triple1) -> rule5) OR ((((((triple14) -> rule4)) -> rule7)) -> rule5))] The dog eats the bald eagle.[(((triple14) -> rule4))] The dog eats the dog.[(((triple14) -> rule3))] The dog is rough.[(((triple1 triple12) -> rule8) OR ((((triple14) -> rule3) triple12) -> rule8) OR ((((((triple14) -> rule4)) -> rule7) triple12) -> rule8))] The dog needs the dog.[(((triple13) -> rule2))]