The dog is not kind. The dog is nice. The dog is not red. The dog is rough. The dog does not like the mouse. The dog needs the mouse. The dog sees the mouse. The mouse is cold. The mouse is kind. The mouse is nice. The mouse is red. The mouse is rough. The mouse likes the dog. The mouse needs the dog. The mouse sees the dog. If someone sees the dog and they are not nice then the dog sees the mouse. If someone needs the mouse and the mouse is nice then the mouse sees the dog. If someone likes the mouse then the mouse sees the dog. If someone sees the mouse then the mouse sees the dog. If someone needs the dog then they see the dog. If someone is kind and they need the dog then they are rough. If someone sees the dog and they do not see the mouse then they are not red. If the mouse likes the dog and the dog does not see the mouse then the dog is rough.
The dog does not see the dog.
@0: The dog does not like the mouse.[(triple5)] The dog is nice.[(triple2)] The dog is not kind.[(triple1)] The dog is not red.[(triple3)] The dog is rough.[(triple4)] The dog needs the mouse.[(triple6)] The dog sees the mouse.[(triple7)] The mouse is cold.[(triple8)] The mouse is kind.[(triple9)] The mouse is nice.[(triple10)] The mouse is red.[(triple11)] The mouse is rough.[(triple12 OR ((triple9 triple14) -> rule6))] The mouse likes the dog.[(triple13)] The mouse needs the dog.[(triple14)] The mouse sees the dog.[(triple15 OR ((triple14) -> rule5) OR ((triple7) -> rule4) OR ((triple6 triple10) -> rule2))]