The cat chases the mouse. The dog chases the rabbit. The dog is not green. The dog does not like the mouse. The dog likes the rabbit. The dog sees the cat. The mouse chases the cat. The mouse does not chase the rabbit. The mouse does not like the dog. The rabbit does not chase the cat. The rabbit is not green. The rabbit likes the dog. The rabbit likes the mouse. The rabbit sees the cat. The rabbit does not see the mouse. If someone chases the rabbit and they do not see the dog then they are not kind. If the dog is blue then the dog chases the mouse. If the mouse chases the cat then the cat likes the rabbit. If the dog does not see the rabbit and the rabbit does not like the cat then the cat likes the rabbit. If someone sees the dog then the dog does not like the cat. If someone chases the cat and the cat chases the rabbit then the cat sees the mouse. If the cat chases the rabbit and the cat is not kind then the cat likes the mouse. If someone likes the cat then the cat likes the mouse.
The cat does not see the mouse.
@0: The cat chases the mouse.[(triple1)] The dog chases the rabbit.[(triple2)] The dog does not like the mouse.[(triple4)] The dog is not green.[(triple3)] The dog likes the rabbit.[(triple5)] The dog sees the cat.[(triple6)] The mouse chases the cat.[(triple7)] The mouse does not chase the rabbit.[(triple8)] The mouse does not like the dog.[(triple9)] The rabbit does not chase the cat.[(triple10)] The rabbit does not see the mouse.[(triple15)] The rabbit is not green.[(triple11)] The rabbit likes the dog.[(triple12)] The rabbit likes the mouse.[(triple13)] The rabbit sees the cat.[(triple14)] @1: The cat likes the rabbit.[(((triple7) -> rule3))]