The bald eagle chases the lion. The bald eagle chases the mouse. The bald eagle likes the lion. The bald eagle likes the mouse. The bald eagle sees the bear. The bear chases the lion. The bear is blue. The bear is young. The bear likes the bald eagle. The lion chases the bear. The lion is blue. The mouse chases the bald eagle. If someone is blue then they like the mouse. If someone is young then they like the bear. If the bear likes the lion then the lion likes the bear. If someone likes the bald eagle then the bald eagle likes the mouse. If someone likes the lion and the lion sees the mouse then the mouse is young. All rough people are young. If someone likes the lion then the lion is rough. If someone is young then they are cold.
The mouse likes the mouse.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle chases the mouse.[(triple2)] The bald eagle likes the lion.[(triple3)] The bald eagle likes the mouse.[(triple4 OR ((triple9) -> rule4))] The bald eagle sees the bear.[(triple5)] The bear chases the lion.[(triple6)] The bear is blue.[(triple7)] The bear is young.[(triple8)] The bear likes the bald eagle.[(triple9)] The lion chases the bear.[(triple10)] The lion is blue.[(triple11)] The mouse chases the bald eagle.[(triple12)] @1: The bear is cold.[(((triple8) -> rule8))] The bear likes the bear.[(((triple8) -> rule2))] The bear likes the mouse.[(((triple7) -> rule1))] The lion is rough.[(((triple3) -> rule7))] The lion likes the mouse.[(((triple11) -> rule1))] @2: The lion is young.[(((((triple3) -> rule7)) -> rule6))] @3: The lion is cold.[(((((((triple3) -> rule7)) -> rule6)) -> rule8))] The lion likes the bear.[(((((((triple3) -> rule7)) -> rule6)) -> rule2))]