The lion does not chase the mouse. The lion likes the mouse. The lion sees the mouse. The lion sees the rabbit. The mouse chases the rabbit. The mouse is rough. The mouse sees the lion. The rabbit is not cold. The rabbit is not rough. The rabbit does not see the mouse. If something sees the rabbit then it is blue. If something is green and young then it likes the mouse. If something is green then it sees the lion. If something sees the lion and the lion is green then the lion does not like the mouse. If something sees the rabbit and it chases the lion then the lion is green. If something is young and it does not chase the rabbit then it does not like the lion. If something likes the rabbit then it is green. If the rabbit does not see the lion then the rabbit sees the mouse.
The mouse does not chase the rabbit.
@0: The lion does not chase the mouse.[(triple1)] The lion likes the mouse.[(triple2)] The lion sees the mouse.[(triple3)] The lion sees the rabbit.[(triple4)] The mouse chases the rabbit.[(triple5)] The mouse is rough.[(triple6)] The mouse sees the lion.[(triple7)] The rabbit does not see the mouse.[(triple10)] The rabbit is not cold.[(triple8)] The rabbit is not rough.[(triple9)] @1: The lion is blue.[(((triple4) -> rule1))]