The bald eagle likes the lion. The bald eagle sees the bear. The bald eagle sees the lion. The bear chases the mouse. The bear is cold. The bear likes the mouse. The bear sees the lion. The lion sees the mouse. The mouse chases the bear. The mouse is cold. If someone sees the bear and they do not chase the bald eagle then the bear sees the lion. If someone is nice then they like the bald eagle. If someone likes the bear then the bear likes the bald eagle. If someone likes the mouse and the mouse is green then they are nice. If someone likes the bald eagle then they are red. If someone chases the lion then the lion sees the mouse. If someone is red then they chase the lion. If someone likes the mouse then the mouse is green. If someone likes the bear and they are not green then they chase the mouse.
The bald eagle is red.
@0: The bald eagle likes the lion.[(triple1)] The bald eagle sees the bear.[(triple2)] The bald eagle sees the lion.[(triple3)] The bear chases the mouse.[(triple4)] The bear is cold.[(triple5)] The bear likes the mouse.[(triple6)] The bear sees the lion.[(triple7)] The lion sees the mouse.[(triple8 OR ((((((((((triple6 ((triple6) -> rule8)) -> rule4)) -> rule2)) -> rule5)) -> rule7)) -> rule6))] The mouse chases the bear.[(triple9)] The mouse is cold.[(triple10)] @1: The mouse is green.[(((triple6) -> rule8))] @2: The bear is nice.[(((triple6 ((triple6) -> rule8)) -> rule4))] @3: The bear likes the bald eagle.[(((((triple6 ((triple6) -> rule8)) -> rule4)) -> rule2))] @4: The bear is red.[(((((((triple6 ((triple6) -> rule8)) -> rule4)) -> rule2)) -> rule5))] @5: The bear chases the lion.[(((((((((triple6 ((triple6) -> rule8)) -> rule4)) -> rule2)) -> rule5)) -> rule7))]