The bald eagle chases the mouse. The bald eagle eats the bear. The bald eagle is big. The bald eagle is cold. The bald eagle is nice. The bear is big. The bear is blue. The bear is young. The bear sees the mouse. The lion chases the bear. The lion chases the mouse. The lion eats the bear. The lion is young. The lion sees the bear. The mouse eats the bald eagle. The mouse sees the bear. If something eats the lion and it eats the bald eagle then the lion sees the bear. If something eats the mouse and it is young then it sees the mouse. If something is cold then it eats the lion. If something chases the lion then the lion is cold. If something sees the lion and the lion is young then it chases the lion. If something is blue then it sees the lion. If something is blue and it sees the mouse then the mouse sees the lion. If something eats the bald eagle then the bald eagle sees the mouse.
The lion is not cold.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle eats the bear.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle is nice.[(triple5)] The bear is big.[(triple6)] The bear is blue.[(triple7)] The bear is young.[(triple8)] The bear sees the mouse.[(triple9)] The lion chases the bear.[(triple10)] The lion chases the mouse.[(triple11)] The lion eats the bear.[(triple12)] The lion is young.[(triple13)] The lion sees the bear.[(triple14)] The mouse eats the bald eagle.[(triple15)] The mouse sees the bear.[(triple16)] @1: The bald eagle eats the lion.[(((triple4) -> rule3))] The bald eagle sees the mouse.[(((triple15) -> rule8))] The bear sees the lion.[(((triple7) -> rule6))] The mouse sees the lion.[(((triple7 triple9) -> rule7))] @2: The bear chases the lion.[(((((triple7) -> rule6) triple13) -> rule5))] The mouse chases the lion.[(((((triple7 triple9) -> rule7) triple13) -> rule5))] @3: The lion is cold.[(((((((triple7) -> rule6) triple13) -> rule5)) -> rule4) OR ((((((triple7 triple9) -> rule7) triple13) -> rule5)) -> rule4))] @4: The lion eats the lion.[(((((((((triple7) -> rule6) triple13) -> rule5)) -> rule4)) -> rule3) OR ((((((((triple7 triple9) -> rule7) triple13) -> rule5)) -> rule4)) -> rule3))]