The bald eagle chases the cow. The bald eagle is big. The bald eagle is cold. The bald eagle is young. The bald eagle likes the cat. The bald eagle likes the cow. The bald eagle visits the cow. The cat chases the bald eagle. The cat visits the cow. The cow chases the bald eagle. The cow chases the cat. The cow is young. The cow likes the bald eagle. The cow likes the cat. The cow visits the bald eagle. If someone chases the cow and they chase the bald eagle then the cow visits the cat. If someone is young then they chase the cow. If someone visits the cat then they are cold.
The bald eagle chases the bald eagle.
@0: The bald eagle chases the cow.[(triple1 OR ((triple4) -> rule2))] The bald eagle is big.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle likes the cat.[(triple5)] The bald eagle likes the cow.[(triple6)] The bald eagle visits the cow.[(triple7)] The cat chases the bald eagle.[(triple8)] The cat visits the cow.[(triple9)] The cow chases the bald eagle.[(triple10)] The cow chases the cat.[(triple11)] The cow is young.[(triple12)] The cow likes the bald eagle.[(triple13)] The cow likes the cat.[(triple14)] The cow visits the bald eagle.[(triple15)] @1: The cow chases the cow.[(((triple12) -> rule2))] @2: The cow visits the cat.[(((((triple12) -> rule2) triple10) -> rule1))] @3: The cow is cold.[(((((((triple12) -> rule2) triple10) -> rule1)) -> rule3))]