The bald eagle eats the cat. The bald eagle needs the cat. The bald eagle needs the squirrel. The cat eats the squirrel. The cat is green. The squirrel chases the bald eagle. The squirrel chases the cat. The squirrel eats the bald eagle. The squirrel eats the cat. The squirrel is green. If someone chases the cat and they are cold then they chase the squirrel. If someone is kind and they chase the cat then they eat the bald eagle. If the bald eagle chases the cat then the cat chases the squirrel. If the cat eats the squirrel then the cat is rough. If someone eats the squirrel then the squirrel chases the bald eagle. If someone needs the bald eagle and they are green then they chase the cat.
The bald eagle does not need the cat.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle needs the cat.[(triple2)] The bald eagle needs the squirrel.[(triple3)] The cat eats the squirrel.[(triple4)] The cat is green.[(triple5)] The squirrel chases the bald eagle.[(triple6 OR ((triple4) -> rule5))] The squirrel chases the cat.[(triple7)] The squirrel eats the bald eagle.[(triple8)] The squirrel eats the cat.[(triple9)] The squirrel is green.[(triple10)] @1: The cat is rough.[(((triple4) -> rule4))]