The bald eagle eats the cow. The bald eagle is rough. The bald eagle is young. The bald eagle likes the cow. The bald eagle likes the dog. The bald eagle sees the cow. The bald eagle sees the dog. The cow eats the bald eagle. The cow likes the bald eagle. The cow sees the dog. The dog eats the bald eagle. The dog is big. The dog is cold. The dog is young. The dog likes the cow. The dog sees the cow. If something eats the dog then it likes the cow. If something sees the bald eagle then the bald eagle eats the dog. If something sees the bald eagle then the bald eagle eats the cow. Big things are young. If something likes the cow then it eats the cow. If something eats the cow and it is big then the cow sees the bald eagle. If something likes the bald eagle then the bald eagle is kind. If something likes the bald eagle then it is rough.
The cow sees the bald eagle.
@0: The bald eagle eats the cow.[(triple1 OR ((triple4) -> rule5) OR ((((((triple15) -> rule5) triple12) -> rule6)) -> rule3) OR ((((((((((triple15) -> rule5) triple12) -> rule6)) -> rule2)) -> rule1)) -> rule5))] The bald eagle is rough.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle likes the cow.[(triple4 OR ((((((((triple15) -> rule5) triple12) -> rule6)) -> rule2)) -> rule1))] The bald eagle likes the dog.[(triple5)] The bald eagle sees the cow.[(triple6)] The bald eagle sees the dog.[(triple7)] The cow eats the bald eagle.[(triple8)] The cow likes the bald eagle.[(triple9)] The cow sees the dog.[(triple10)] The dog eats the bald eagle.[(triple11)] The dog is big.[(triple12)] The dog is cold.[(triple13)] The dog is young.[(triple14 OR ((triple12) -> rule4))] The dog likes the cow.[(triple15)] The dog sees the cow.[(triple16)] @1: The bald eagle is kind.[(((triple9) -> rule7))] The cow is rough.[(((triple9) -> rule8))] The dog eats the cow.[(((triple15) -> rule5))] @2: The cow sees the bald eagle.[(((((triple15) -> rule5) triple12) -> rule6))] @3: The bald eagle eats the dog.[(((((((triple15) -> rule5) triple12) -> rule6)) -> rule2))]