The bear likes the cat. The cat visits the bear. The mouse sees the squirrel. The squirrel visits the bear. If something visits the squirrel then it sees the squirrel. If something visits the bear and it is red then it likes the mouse. If something visits the bear then it visits the squirrel. If something likes the bear then it visits the cat. If something sees the mouse and it visits the mouse then the mouse is cold. If something sees the squirrel and it visits the bear then it likes the squirrel.
The cat is kind.
@0: The bear likes the cat.[(triple1)] The cat visits the bear.[(triple2)] The mouse sees the squirrel.[(triple3)] The squirrel visits the bear.[(triple4)] @1: The cat visits the squirrel.[(((triple2) -> rule3))] The squirrel visits the squirrel.[(((triple4) -> rule3))] @2: The cat sees the squirrel.[(((((triple2) -> rule3)) -> rule1))] The squirrel sees the squirrel.[(((((triple4) -> rule3)) -> rule1))] @3: The cat likes the squirrel.[(((((((triple2) -> rule3)) -> rule1) triple2) -> rule6))] The squirrel likes the squirrel.[(((((((triple4) -> rule3)) -> rule1) triple4) -> rule6))]