The cat is red. The mouse sees the squirrel. The squirrel sees the mouse. If something visits the mouse then it is red. If something is cold and it likes the mouse then it is nice. If something likes the squirrel then it likes the cat. If something visits the squirrel and it sees the cat then the cat sees the squirrel. If something likes the cat and the cat visits the squirrel then the cat sees the mouse. If something is red then it likes the mouse.
The cat is red.
@0: The cat is red.[(triple1)] The mouse sees the squirrel.[(triple2)] The squirrel sees the mouse.[(triple3)] @1: The cat likes the mouse.[(((triple1) -> rule6))]