The lion is blue. The lion is cold. The mouse is rough. The rabbit chases the tiger. The rabbit eats the lion. The rabbit needs the lion. The tiger needs the lion. If something is blue and big then it needs the rabbit. If something is cold then it chases the rabbit. If something needs the lion and the lion eats the rabbit then the rabbit eats the mouse. If something needs the tiger then it chases the mouse. If the lion is big and the lion is cold then the lion is rough. If something needs the rabbit then it eats the mouse. If something eats the tiger and the tiger chases the mouse then it is big. If something eats the rabbit and the rabbit eats the tiger then the rabbit chases the mouse.
The rabbit does not eat the lion.
@0: The lion is blue.[(triple1)] The lion is cold.[(triple2)] The mouse is rough.[(triple3)] The rabbit chases the tiger.[(triple4)] The rabbit eats the lion.[(triple5)] The rabbit needs the lion.[(triple6)] The tiger needs the lion.[(triple7)] @1: The lion chases the rabbit.[(((triple2) -> rule2))]