The bald eagle chases the cat. The bald eagle chases the lion. The bald eagle eats the squirrel. The bald eagle needs the lion. The bald eagle needs the squirrel. The cat chases the bald eagle. The cat eats the squirrel. The cat needs the bald eagle. The cat needs the lion. The lion does not eat the cat. The lion eats the squirrel. The lion is rough. The lion is round. The squirrel chases the bald eagle. The squirrel chases the lion. The squirrel is not kind. If the bald eagle chases the cat then the cat chases the bald eagle. If someone eats the bald eagle and they do not chase the squirrel then they do not need the lion.
The bald eagle does not eat the cat.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the lion.[(triple2)] The bald eagle eats the squirrel.[(triple3)] The bald eagle needs the lion.[(triple4)] The bald eagle needs the squirrel.[(triple5)] The cat chases the bald eagle.[(triple6 OR ((triple1) -> rule1))] The cat eats the squirrel.[(triple7)] The cat needs the bald eagle.[(triple8)] The cat needs the lion.[(triple9)] The lion does not eat the cat.[(triple10)] The lion eats the squirrel.[(triple11)] The lion is rough.[(triple12)] The lion is round.[(triple13)] The squirrel chases the bald eagle.[(triple14)] The squirrel chases the lion.[(triple15)] The squirrel is not kind.[(triple16)]