The bald eagle is green. The bald eagle is red. The dog eats the bald eagle. The dog likes the lion. The lion is green. The lion needs the bald eagle. The lion needs the dog. The squirrel is blue. The squirrel is green. The squirrel is red. If something needs the bald eagle and it is red then it eats the squirrel. If something likes the bald eagle and it is rough then it eats the lion. All green things are red.
The lion eats the squirrel.
@0: The bald eagle is green.[(triple1)] The bald eagle is red.[(triple2 OR ((triple1) -> rule3))] The dog eats the bald eagle.[(triple3)] The dog likes the lion.[(triple4)] The lion is green.[(triple5)] The lion needs the bald eagle.[(triple6)] The lion needs the dog.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is green.[(triple9)] The squirrel is red.[(triple10 OR ((triple9) -> rule3))] @1: The lion is red.[(((triple5) -> rule3))] @2: The lion eats the squirrel.[(((triple6 ((triple5) -> rule3)) -> rule1))]