The dog does not eat the mouse. The dog is big. The dog is not blue. The dog is cold. The dog is kind. The dog is red. The dog does not need the mouse. The dog does not visit the mouse. The mouse eats the dog. The mouse is big. The mouse is blue. The mouse is cold. The mouse is kind. The mouse is red. The mouse does not need the dog. The mouse visits the dog. If someone visits the mouse and they do not visit the dog then the dog is blue. If someone is red then they eat the dog.
The mouse does not visit the dog.
@0: The dog does not eat the mouse.[(triple1)] The dog does not need the mouse.[(triple7)] The dog does not visit the mouse.[(triple8)] The dog is big.[(triple2)] The dog is cold.[(triple4)] The dog is kind.[(triple5)] The dog is not blue.[(triple3)] The dog is red.[(triple6)] The mouse does not need the dog.[(triple15)] The mouse eats the dog.[(triple9 OR ((triple14) -> rule2))] The mouse is big.[(triple10)] The mouse is blue.[(triple11)] The mouse is cold.[(triple12)] The mouse is kind.[(triple13)] The mouse is red.[(triple14)] The mouse visits the dog.[(triple16)] @1: The dog eats the dog.[(((triple6) -> rule2))]