The bear likes the squirrel. The bear visits the squirrel. The squirrel is blue. The squirrel is green. The squirrel likes the bear. The squirrel sees the bear. The squirrel visits the bear. If someone visits the bear then they visit the squirrel. If someone visits the squirrel and they visit the bear then they are round.
The squirrel does not see the bear.
@0: The bear likes the squirrel.[(triple1)] The bear visits the squirrel.[(triple2)] The squirrel is blue.[(triple3)] The squirrel is green.[(triple4)] The squirrel likes the bear.[(triple5)] The squirrel sees the bear.[(triple6)] The squirrel visits the bear.[(triple7)] @1: The squirrel visits the squirrel.[(((triple7) -> rule1))] @2: The squirrel is round.[(((((triple7) -> rule1) triple7) -> rule2))]