The dog does not eat the mouse. The dog is big. The dog is blue. The dog is green. The dog is not nice. The dog is red. The dog needs the mouse. The dog does not see the mouse. The mouse eats the dog. The mouse is big. The mouse is not blue. The mouse is green. The mouse is nice. The mouse is red. The mouse needs the dog. The mouse sees the dog. If someone is green and they eat the dog then they see the dog.
The mouse eats the mouse.
@0: The dog does not eat the mouse.[(triple1)] The dog does not see the mouse.[(triple8)] The dog is big.[(triple2)] The dog is blue.[(triple3)] The dog is green.[(triple4)] The dog is not nice.[(triple5)] The dog is red.[(triple6)] The dog needs the mouse.[(triple7)] The mouse eats the dog.[(triple9)] The mouse is big.[(triple10)] The mouse is green.[(triple12)] The mouse is nice.[(triple13)] The mouse is not blue.[(triple11)] The mouse is red.[(triple14)] The mouse needs the dog.[(triple15)] The mouse sees the dog.[(triple16 OR ((triple12 triple9) -> rule1))]