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