The bald eagle eats the dog. The bald eagle is nice. The bald eagle is rough. The bald eagle likes the cow. The bald eagle sees the cow. The cow eats the bald eagle. The cow is nice. The dog eats the bald eagle. The dog eats the cow. The dog is blue. The dog sees the bald eagle. The dog sees the cow. If someone likes the cow then the cow sees the dog. If someone likes the bald eagle then the bald eagle likes the cow. If someone likes the cow then the cow eats the bald eagle. If someone eats the bald eagle then they see the dog. If someone is rough then they eat the dog. If someone is big and they like the dog then they are rough. If someone likes the dog then they are blue. If someone sees the dog and the dog sees the cow then the dog is rough.
The dog does not see the dog.
@0: The bald eagle eats the dog.[(triple1 OR ((triple3) -> rule5))] The bald eagle is nice.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle likes the cow.[(triple4)] The bald eagle sees the cow.[(triple5)] The cow eats the bald eagle.[(triple6 OR ((triple4) -> rule3))] The cow is nice.[(triple7)] The dog eats the bald eagle.[(triple8)] The dog eats the cow.[(triple9)] The dog is blue.[(triple10)] The dog sees the bald eagle.[(triple11)] The dog sees the cow.[(triple12)] @1: The cow sees the dog.[(((triple4) -> rule1) OR ((triple6) -> rule4) OR ((((triple4) -> rule3)) -> rule4))] The dog sees the dog.[(((triple8) -> rule4))] @2: The dog is rough.[(((((triple4) -> rule1) triple12) -> rule8) OR ((((triple6) -> rule4) triple12) -> rule8) OR ((((triple8) -> rule4) triple12) -> rule8) OR ((((((triple4) -> rule3)) -> rule4) triple12) -> rule8))] @3: The dog eats the dog.[(((((((triple4) -> rule1) triple12) -> rule8)) -> rule5) OR ((((((triple6) -> rule4) triple12) -> rule8)) -> rule5) OR ((((((triple8) -> rule4) triple12) -> rule8)) -> rule5) OR ((((((((triple4) -> rule3)) -> rule4) triple12) -> rule8)) -> rule5))]