The lion chases the mouse. The lion eats the mouse. The lion is big. The lion is blue. The lion is not cold. The lion is green. The lion is young. The lion needs the mouse. The mouse chases the lion. The mouse does not eat the lion. The mouse is big. The mouse is blue. The mouse is cold. The mouse is not green. The mouse is young. The mouse does not need the lion. If something is green and not cold then it does not need the lion. If the lion does not eat the mouse and the lion does not need the mouse then the lion is green. If the mouse chases the lion and the lion is not blue then the lion chases the mouse.
The lion does not chase the lion.
@0: The lion chases the mouse.[(triple1)] The lion eats the mouse.[(triple2)] The lion is big.[(triple3)] The lion is blue.[(triple4)] The lion is green.[(triple6)] The lion is not cold.[(triple5)] The lion is young.[(triple7)] The lion needs the mouse.[(triple8)] The mouse chases the lion.[(triple9)] The mouse does not eat the lion.[(triple10)] The mouse does not need the lion.[(triple16)] The mouse is big.[(triple11)] The mouse is blue.[(triple12)] The mouse is cold.[(triple13)] The mouse is not green.[(triple14)] The mouse is young.[(triple15)] @1: The lion does not need the lion.[(((triple6 triple5) -> rule1))]