The bald eagle eats the dog. The bald eagle is nice. The bald eagle is red. The bald eagle is not young. The bald eagle likes the dog. The cat is nice. The cat is not round. The cat likes the dog. The dog chases the cat. The dog chases the squirrel. The dog eats the bald eagle. The dog is round. The dog likes the bald eagle. The squirrel chases the bald eagle. The squirrel is not nice. If someone eats the squirrel then the squirrel eats the bald eagle. If someone is red and nice then they eat the dog. If someone chases the cat then they like the squirrel. If someone likes the cat then the cat is red. If someone eats the squirrel and the squirrel likes the bald eagle then the bald eagle chases the dog. If someone likes the cat and the cat likes the bald eagle then they do not eat the squirrel. If someone likes the bald eagle then the bald eagle chases the squirrel. If someone is red then they like the cat.
The bald eagle does not chase the dog.
@0: The bald eagle eats the dog.[(triple1 OR ((triple3 triple2) -> rule2))] The bald eagle is nice.[(triple2)] The bald eagle is not young.[(triple4)] The bald eagle is red.[(triple3)] The bald eagle likes the dog.[(triple5)] The cat is nice.[(triple6)] The cat is not round.[(triple7)] The cat likes the dog.[(triple8)] The dog chases the cat.[(triple9)] The dog chases the squirrel.[(triple10)] The dog eats the bald eagle.[(triple11)] The dog is round.[(triple12)] The dog likes the bald eagle.[(triple13)] The squirrel chases the bald eagle.[(triple14)] The squirrel is not nice.[(triple15)] @1: The bald eagle chases the squirrel.[(((triple13) -> rule7))] The bald eagle likes the cat.[(((triple3) -> rule8))] The dog likes the squirrel.[(((triple9) -> rule3))] @2: The cat is red.[(((((triple3) -> rule8)) -> rule4))] @3: The cat eats the dog.[(((((((triple3) -> rule8)) -> rule4) triple6) -> rule2))] The cat likes the cat.[(((((((triple3) -> rule8)) -> rule4)) -> rule8))]