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