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