The cat does not eat the mouse. The cat is cold. The cat visits the dog. The dog does not chase the mouse. The dog eats the cat. The dog does not eat the mouse. The dog is not green. The dog is kind. The dog does not visit the cat. The dog visits the mouse. The mouse does not chase the cat. The mouse chases the dog. The mouse eats the cat. The mouse is green. The mouse visits the cat. If someone chases the dog then they chase the mouse. If someone eats the cat and they chase the mouse then they are kind.
The mouse visits the mouse.
@0: The cat does not eat the mouse.[(triple1)] The cat is cold.[(triple2)] The cat visits the dog.[(triple3)] The dog does not chase the mouse.[(triple4)] The dog does not eat the mouse.[(triple6)] The dog does not visit the cat.[(triple9)] The dog eats the cat.[(triple5)] The dog is kind.[(triple8)] The dog is not green.[(triple7)] The dog visits the mouse.[(triple10)] The mouse chases the dog.[(triple12)] The mouse does not chase the cat.[(triple11)] The mouse eats the cat.[(triple13)] The mouse is green.[(triple14)] The mouse visits the cat.[(triple15)] @1: The mouse chases the mouse.[(((triple12) -> rule1))] @2: The mouse is kind.[(((triple13 ((triple12) -> rule1)) -> rule2))]