The cat likes the mouse. The cat does not see the mouse. The cat does not visit the mouse. The mouse is not big. The mouse is cold. The mouse is kind. The mouse is rough. The mouse is young. The mouse does not see the cat. The mouse visits the cat. If the cat is cold and the cat is not rough then the cat likes the mouse. If the cat likes the mouse and the cat does not see the mouse then the cat is young.
The mouse does not like the cat.
@0: The cat does not see the mouse.[(triple2)] The cat does not visit the mouse.[(triple3)] The cat likes the mouse.[(triple1)] The mouse does not see the cat.[(triple9)] The mouse is cold.[(triple5)] The mouse is kind.[(triple6)] The mouse is not big.[(triple4)] The mouse is rough.[(triple7)] The mouse is young.[(triple8)] The mouse visits the cat.[(triple10)] @1: The cat is young.[(((triple1 triple2) -> rule2))]