The bald eagle chases the cow. The bald eagle is nice. The bald eagle sees the lion. The cow chases the lion. The cow is big. The cow is nice. The cow sees the bald eagle. The cow sees the lion. The lion chases the bald eagle. The lion is cold. The lion is green. The lion is nice. If something eats the cow and the cow sees the bald eagle then it is big. If something chases the bald eagle then the bald eagle eats the cow. If something is big then it sees the bald eagle.
The bald eagle eats the cow.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle sees the lion.[(triple3)] The cow chases the lion.[(triple4)] The cow is big.[(triple5)] The cow is nice.[(triple6)] The cow sees the bald eagle.[(triple7 OR ((triple5) -> rule3))] The cow sees the lion.[(triple8)] The lion chases the bald eagle.[(triple9)] The lion is cold.[(triple10)] The lion is green.[(triple11)] The lion is nice.[(triple12)] @1: The bald eagle eats the cow.[(((triple9) -> rule2))] @2: The bald eagle is big.[(((((triple9) -> rule2) triple7) -> rule1) OR ((((triple9) -> rule2) ((triple5) -> rule3)) -> rule1))] @3: The bald eagle sees the bald eagle.[(((((((triple9) -> rule2) triple7) -> rule1)) -> rule3) OR ((((((triple9) -> rule2) ((triple5) -> rule3)) -> rule1)) -> rule3))]