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