The bald eagle chases the lion. The dog is not big. The dog needs the lion. The lion eats the bald eagle. The lion is not big. The lion is not blue. The mouse chases the bald eagle. The mouse does not chase the lion. The mouse eats the bald eagle. The mouse is blue. The mouse is green. The mouse is round. The mouse does not need the bald eagle. The mouse needs the dog. The mouse needs the lion. If something eats the bald eagle then the bald eagle chases the mouse. If the bald eagle chases the mouse then the bald eagle is green. If something eats the bald eagle then it needs the dog. If something is blue then it eats the dog. If something eats the dog then the dog eats the bald eagle. If something needs the lion and it is green then the lion needs the dog. If something chases the lion and it is not green then it chases the bald eagle. If the dog chases the bald eagle then the bald eagle eats the lion.
The lion is green.
@0: The bald eagle chases the lion.[(triple1)] The dog is not big.[(triple2)] The dog needs the lion.[(triple3)] The lion eats the bald eagle.[(triple4)] The lion is not big.[(triple5)] The lion is not blue.[(triple6)] The mouse chases the bald eagle.[(triple7)] The mouse does not chase the lion.[(triple8)] The mouse does not need the bald eagle.[(triple13)] The mouse eats the bald eagle.[(triple9)] The mouse is blue.[(triple10)] The mouse is green.[(triple11)] The mouse is round.[(triple12)] The mouse needs the dog.[(triple14 OR ((triple9) -> rule3))] The mouse needs the lion.[(triple15)] @1: The bald eagle chases the mouse.[(((triple4) -> rule1) OR ((triple9) -> rule1) OR ((((((triple10) -> rule4)) -> rule5)) -> rule1))] The lion needs the dog.[(((triple4) -> rule3) OR ((triple15 triple11) -> rule6))] The mouse eats the dog.[(((triple10) -> rule4))] @2: The bald eagle is green.[(((((triple4) -> rule1)) -> rule2) OR ((((triple9) -> rule1)) -> rule2) OR ((((((((triple10) -> rule4)) -> rule5)) -> rule1)) -> rule2))] The dog eats the bald eagle.[(((((triple10) -> rule4)) -> rule5))] @3: The dog needs the dog.[(((((((triple10) -> rule4)) -> rule5)) -> rule3))]