The cat is green. The cat is rough. The cat visits the squirrel. The lion does not eat the cat. The lion is not kind. The lion sees the cat. The lion visits the squirrel. The squirrel is green. The squirrel does not see the lion. The squirrel visits the lion. If something visits the squirrel and the squirrel is green then it sees the squirrel. If something is green then it visits the squirrel.
The squirrel does not visit the squirrel.
@0: The cat is green.[(triple1)] The cat is rough.[(triple2)] The cat visits the squirrel.[(triple3 OR ((triple1) -> rule2))] The lion does not eat the cat.[(triple4)] The lion is not kind.[(triple5)] The lion sees the cat.[(triple6)] The lion visits the squirrel.[(triple7)] The squirrel does not see the lion.[(triple9)] The squirrel is green.[(triple8)] The squirrel visits the lion.[(triple10)] @1: The cat sees the squirrel.[(((triple3 triple8) -> rule1) OR ((((triple1) -> rule2) triple8) -> rule1))] The lion sees the squirrel.[(((triple7 triple8) -> rule1))] The squirrel visits the squirrel.[(((triple8) -> rule2))] @2: The squirrel sees the squirrel.[(((((triple8) -> rule2) triple8) -> rule1))]