The cat chases the dog. The cat does not eat the dog. The cat eats the mouse. The cat is nice. The cat is not rough. The cat is young. The cat does not see the dog. The dog does not chase the mouse. The dog eats the cat. The dog is rough. The mouse chases the cat. The mouse chases the dog. The mouse eats the cat. The mouse eats the dog. The mouse is nice. The mouse sees the dog. If something chases the dog then the dog is nice. If the cat is nice then the cat is round. If something chases the dog and the dog eats the mouse then it eats the mouse. If the mouse does not see the cat then the mouse eats the cat. If something sees the mouse and the mouse does not see the cat then the mouse eats the cat. If something eats the mouse and it is round then the mouse is not young. If something eats the cat and it is cold then it eats the dog. If the dog is not nice then the dog is young.
The mouse does not eat the mouse.
@0: The cat chases the dog.[(triple1)] The cat does not eat the dog.[(triple2)] The cat does not see the dog.[(triple7)] The cat eats the mouse.[(triple3)] The cat is nice.[(triple4)] The cat is not rough.[(triple5)] The cat is young.[(triple6)] The dog does not chase the mouse.[(triple8)] The dog eats the cat.[(triple9)] The dog is rough.[(triple10)] The mouse chases the cat.[(triple11)] The mouse chases the dog.[(triple12)] The mouse eats the cat.[(triple13)] The mouse eats the dog.[(triple14)] The mouse is nice.[(triple15)] The mouse sees the dog.[(triple16)] @1: The cat is round.[(((triple4) -> rule2))] The dog is nice.[(((triple1) -> rule1) OR ((triple12) -> rule1))] @2: The mouse is not young.[(((triple3 ((triple4) -> rule2)) -> rule6))]