The dog eats the rabbit. The dog is not nice. The dog sees the lion. The lion eats the mouse. The lion eats the rabbit. The lion is green. The lion sees the dog. The lion sees the mouse. The mouse is not green. The mouse sees the dog. The mouse does not see the rabbit. The mouse visits the dog. The rabbit is blue. The rabbit does not see the mouse. The rabbit visits the mouse. If something visits the rabbit then the rabbit is nice. If something sees the dog then it is blue. If something is nice then it does not eat the dog. If something is nice then it is young. Green things are not red. If something visits the rabbit and it sees the lion then it eats the lion. If the mouse is not blue then the mouse sees the lion. If the dog eats the rabbit and the rabbit is not red then the rabbit eats the dog.
The mouse does not eat the lion.
@0: The dog eats the rabbit.[(triple1)] The dog is not nice.[(triple2)] The dog sees the lion.[(triple3)] The lion eats the mouse.[(triple4)] The lion eats the rabbit.[(triple5)] The lion is green.[(triple6)] The lion sees the dog.[(triple7)] The lion sees the mouse.[(triple8)] The mouse does not see the rabbit.[(triple11)] The mouse is not green.[(triple9)] The mouse sees the dog.[(triple10)] The mouse visits the dog.[(triple12)] The rabbit does not see the mouse.[(triple14)] The rabbit is blue.[(triple13)] The rabbit visits the mouse.[(triple15)] @1: The lion is blue.[(((triple7) -> rule2))] The lion is not red.[(((triple6) -> rule5))] The mouse is blue.[(((triple10) -> rule2))]