The lion is big. The lion is cold. The lion is green. The mouse does not chase the lion. The mouse is not nice. The mouse is not rough. The mouse needs the lion. If the mouse chases the lion and the lion is not green then the mouse is nice. If the mouse is big and the mouse sees the lion then the mouse is rough. If the lion is big then the lion sees the mouse. If the lion sees the mouse and the mouse is green then the lion chases the mouse. If something sees the mouse and the mouse is not nice then it needs the lion. If something is rough then it needs the lion.
The mouse is not big.
@0: The lion is big.[(triple1)] The lion is cold.[(triple2)] The lion is green.[(triple3)] The mouse does not chase the lion.[(triple4)] The mouse is not nice.[(triple5)] The mouse is not rough.[(triple6)] The mouse needs the lion.[(triple7)] @1: The lion sees the mouse.[(((triple1) -> rule3))] @2: The lion needs the lion.[(((((triple1) -> rule3) triple5) -> rule5))]