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