The bald eagle chases the cow. The bald eagle chases the tiger. The bald eagle is cold. The bald eagle sees the cow. The bald eagle sees the tiger. The cow chases the bald eagle. The cow is cold. The tiger is rough. The tiger is young. The tiger sees the cow. If something chases the bald eagle then it is green. If the bald eagle eats the cow then the cow is cold. If something eats the tiger and the tiger sees the cow then the tiger eats the cow. If something eats the tiger and it chases the bald eagle then the tiger is young. If something is rough and it eats the cow then the cow sees the tiger. If something is rough then it sees the cow. All green, cold things are young. If something is young then it chases the tiger.
The cow chases the tiger.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle sees the cow.[(triple4)] The bald eagle sees the tiger.[(triple5)] The cow chases the bald eagle.[(triple6)] The cow is cold.[(triple7)] The tiger is rough.[(triple8)] The tiger is young.[(triple9)] The tiger sees the cow.[(triple10 OR ((triple8) -> rule6))] @1: The cow is green.[(((triple6) -> rule1))] The tiger chases the tiger.[(((triple9) -> rule8))] @2: The cow is young.[(((((triple6) -> rule1) triple7) -> rule7))] @3: The cow chases the tiger.[(((((((triple6) -> rule1) triple7) -> rule7)) -> rule8))]