The bald eagle chases the cat. The bald eagle chases the squirrel. The bald eagle is green. The bald eagle is young. The bald eagle likes the cat. The bald eagle likes the squirrel. The bald eagle needs the squirrel. The cat likes the bald eagle. The cat needs the squirrel. The squirrel likes the bald eagle. If something likes the bald eagle then the bald eagle is red. If something needs the squirrel then the squirrel is red. If the cat needs the squirrel and the squirrel is rough then the squirrel needs the cat.
The squirrel does not need the cat.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle likes the cat.[(triple5)] The bald eagle likes the squirrel.[(triple6)] The bald eagle needs the squirrel.[(triple7)] The cat likes the bald eagle.[(triple8)] The cat needs the squirrel.[(triple9)] The squirrel likes the bald eagle.[(triple10)] @1: The bald eagle is red.[(((triple10) -> rule1) OR ((triple8) -> rule1))] The squirrel is red.[(((triple7) -> rule2) OR ((triple9) -> rule2))]