The dog chases the mouse. The dog chases the rabbit. The dog eats the mouse. The dog eats the rabbit. The dog is big. The dog visits the rabbit. The mouse chases the dog. The mouse chases the rabbit. The mouse eats the dog. The mouse is kind. The mouse visits the dog. The mouse visits the rabbit. The rabbit eats the dog. The rabbit is young. The rabbit visits the mouse. If something visits the mouse then the mouse is cold.
The mouse does not visit the rabbit.
@0: The dog chases the mouse.[(triple1)] The dog chases the rabbit.[(triple2)] The dog eats the mouse.[(triple3)] The dog eats the rabbit.[(triple4)] The dog is big.[(triple5)] The dog visits the rabbit.[(triple6)] The mouse chases the dog.[(triple7)] The mouse chases the rabbit.[(triple8)] The mouse eats the dog.[(triple9)] The mouse is kind.[(triple10)] The mouse visits the dog.[(triple11)] The mouse visits the rabbit.[(triple12)] The rabbit eats the dog.[(triple13)] The rabbit is young.[(triple14)] The rabbit visits the mouse.[(triple15)] @1: The mouse is cold.[(((triple15) -> rule1))]