The bald eagle chases the cow. The bald eagle chases the lion. The bald eagle eats the cow. The bald eagle is red. The bald eagle is young. The cow chases the lion. The cow eats the lion. The cow is cold. The cow sees the bald eagle. The cow sees the lion. The cow sees the squirrel. The lion is young. The lion sees the cow. The squirrel eats the cow. The squirrel is big. The squirrel sees the cow. If someone is big then they chase the lion. If someone is young then they chase the bald eagle. If someone chases the lion and they are big then the lion chases the cow. If someone sees the lion then the lion eats the squirrel. If the bald eagle is red then the bald eagle chases the cow. If someone eats the squirrel then the squirrel is kind.
The lion does not chase the cow.
@0: The bald eagle chases the cow.[(triple1 OR ((triple4) -> rule5))] The bald eagle chases the lion.[(triple2)] The bald eagle eats the cow.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle is young.[(triple5)] The cow chases the lion.[(triple6)] The cow eats the lion.[(triple7)] The cow is cold.[(triple8)] The cow sees the bald eagle.[(triple9)] The cow sees the lion.[(triple10)] The cow sees the squirrel.[(triple11)] The lion is young.[(triple12)] The lion sees the cow.[(triple13)] The squirrel eats the cow.[(triple14)] The squirrel is big.[(triple15)] The squirrel sees the cow.[(triple16)] @1: The bald eagle chases the bald eagle.[(((triple5) -> rule2))] The lion chases the bald eagle.[(((triple12) -> rule2))] The lion eats the squirrel.[(((triple10) -> rule4))] The squirrel chases the lion.[(((triple15) -> rule1))] @2: The lion chases the cow.[(((((triple15) -> rule1) triple15) -> rule3))] The squirrel is kind.[(((((triple10) -> rule4)) -> rule6))]