The lion chases the mouse. The lion is blue. The lion is young. The lion likes the mouse. The lion does not see the mouse. The mouse does not chase the lion. The mouse is round. The mouse is young. The mouse likes the lion. The mouse sees the lion. If something chases the mouse and the mouse is kind then the mouse does not see the lion. If something sees the lion then it chases the mouse. If something sees the lion and it is nice then the lion is young. If something chases the mouse and it does not see the lion then the lion is nice. If something is young and it chases the lion then the lion does not see the mouse. Nice, kind things are round.
The lion sees the lion.
@0: The lion chases the mouse.[(triple1)] The lion does not see the mouse.[(triple5)] The lion is blue.[(triple2)] The lion is young.[(triple3)] The lion likes the mouse.[(triple4)] The mouse does not chase the lion.[(triple6)] The mouse is round.[(triple7)] The mouse is young.[(triple8)] The mouse likes the lion.[(triple9)] The mouse sees the lion.[(triple10)] @1: The mouse chases the mouse.[(((triple10) -> rule2))]