The bald eagle is cold. The bald eagle is young. The bald eagle likes the mouse. The bald eagle needs the tiger. The lion is blue. The mouse chases the tiger. The mouse is cold. The mouse likes the bald eagle. The mouse does not like the lion. The tiger chases the bald eagle. If the tiger chases the bald eagle then the bald eagle does not need the mouse. If someone needs the lion then the lion is young. If the mouse is nice and the mouse chases the tiger then the mouse needs the tiger. If someone needs the tiger then the tiger chases the lion. If someone chases the tiger then they do not like the mouse. If someone needs the bald eagle and they like the lion then they need the tiger.
The lion needs the mouse.
@0: The bald eagle is cold.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the mouse.[(triple3)] The bald eagle needs the tiger.[(triple4)] The lion is blue.[(triple5)] The mouse chases the tiger.[(triple6)] The mouse does not like the lion.[(triple9)] The mouse is cold.[(triple7)] The mouse likes the bald eagle.[(triple8)] The tiger chases the bald eagle.[(triple10)] @1: The bald eagle does not need the mouse.[(((triple10) -> rule1))] The mouse does not like the mouse.[(((triple6) -> rule5))] The tiger chases the lion.[(((triple4) -> rule4))]