The lion chases the mouse. The lion is young. The lion needs the mouse. The mouse chases the lion. The mouse is blue. The mouse is cold. The mouse is kind. The mouse is young. The mouse likes the lion. The mouse needs the lion. If the mouse needs the lion then the mouse likes the lion. If something needs the mouse and the mouse chases the lion then the mouse is young. If the lion is cold then the lion likes the mouse.
The lion does not like the mouse.
@0: The lion chases the mouse.[(triple1)] The lion is young.[(triple2)] The lion needs the mouse.[(triple3)] The mouse chases the lion.[(triple4)] The mouse is blue.[(triple5)] The mouse is cold.[(triple6)] The mouse is kind.[(triple7)] The mouse is young.[(triple8 OR ((triple3 triple4) -> rule2))] The mouse likes the lion.[(triple9 OR ((triple10) -> rule1))] The mouse needs the lion.[(triple10)]