The bald eagle does not eat the dog. The bald eagle is cold. The bald eagle is young. The bald eagle likes the mouse. The dog chases the lion. The dog likes the bald eagle. The lion is cold. The lion likes the mouse. The mouse eats the lion. The mouse is not cold. The mouse likes the dog. If something eats the bald eagle then it is blue. If something is blue then it chases the mouse. If something likes the mouse then it chases the lion. If something chases the lion then the lion eats the bald eagle. If the lion chases the dog and the lion does not chase the bald eagle then the bald eagle chases the lion. If something chases the mouse then the mouse is blue. If something eats the dog then the dog likes the bald eagle. If something chases the bald eagle then the bald eagle is not blue.
The dog eats the lion.
@0: The bald eagle does not eat the dog.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle likes the mouse.[(triple4)] The dog chases the lion.[(triple5)] The dog likes the bald eagle.[(triple6)] The lion is cold.[(triple7)] The lion likes the mouse.[(triple8)] The mouse eats the lion.[(triple9)] The mouse is not cold.[(triple10)] The mouse likes the dog.[(triple11)] @1: The bald eagle chases the lion.[(((triple4) -> rule3))] The lion chases the lion.[(((triple8) -> rule3))] The lion eats the bald eagle.[(((triple5) -> rule4) OR ((((triple4) -> rule3)) -> rule4) OR ((((triple8) -> rule3)) -> rule4))] @2: The lion is blue.[(((((triple5) -> rule4)) -> rule1) OR ((((((triple4) -> rule3)) -> rule4)) -> rule1) OR ((((((triple8) -> rule3)) -> rule4)) -> rule1))] @3: The lion chases the mouse.[(((((((triple5) -> rule4)) -> rule1)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule4)) -> rule1)) -> rule2) OR ((((((((triple8) -> rule3)) -> rule4)) -> rule1)) -> rule2))] @4: The mouse is blue.[(((((((((triple5) -> rule4)) -> rule1)) -> rule2)) -> rule6) OR ((((((((((triple4) -> rule3)) -> rule4)) -> rule1)) -> rule2)) -> rule6) OR ((((((((((triple8) -> rule3)) -> rule4)) -> rule1)) -> rule2)) -> rule6))] @5: The mouse chases the mouse.[(((((((((((triple5) -> rule4)) -> rule1)) -> rule2)) -> rule6)) -> rule2) OR ((((((((((((triple4) -> rule3)) -> rule4)) -> rule1)) -> rule2)) -> rule6)) -> rule2) OR ((((((((((((triple8) -> rule3)) -> rule4)) -> rule1)) -> rule2)) -> rule6)) -> rule2))]