The cat chases the mouse. The cat chases the tiger. The cat does not eat the mouse. The cat is not red. The cat is young. The mouse chases the cat. The mouse chases the tiger. The mouse is green. The mouse is kind. The mouse is not red. The mouse is rough. The mouse likes the cat. The tiger is green. The tiger is rough. The tiger likes the mouse. If something is kind then it chases the tiger. If the mouse is kind and the mouse is not rough then the mouse eats the cat. If something is red then it likes the cat. If something likes the tiger then it does not like the mouse. If the mouse likes the tiger and the cat does not chase the mouse then the tiger chases the mouse. If something is young then it is not green.
The cat chases the cat.
@0: The cat chases the mouse.[(triple1)] The cat chases the tiger.[(triple2)] The cat does not eat the mouse.[(triple3)] The cat is not red.[(triple4)] The cat is young.[(triple5)] The mouse chases the cat.[(triple6)] The mouse chases the tiger.[(triple7 OR ((triple9) -> rule1))] The mouse is green.[(triple8)] The mouse is kind.[(triple9)] The mouse is not red.[(triple10)] The mouse is rough.[(triple11)] The mouse likes the cat.[(triple12)] The tiger is green.[(triple13)] The tiger is rough.[(triple14)] The tiger likes the mouse.[(triple15)] @1: The cat is not green.[(((triple5) -> rule6))]