The cat likes the squirrel. The squirrel is blue. If something visits the cat and the cat likes the squirrel then the squirrel is kind. If something visits the cat then the cat visits the squirrel. If something likes the cat and the cat is round then the cat visits the squirrel. If something sees the cat then it visits the cat. If something is kind and it visits the cat then the cat likes the squirrel. If something likes the squirrel then it sees the cat.
The squirrel likes the cat.
@0: The cat likes the squirrel.[(triple1)] The squirrel is blue.[(triple2)] @1: The cat sees the cat.[(((triple1) -> rule6))] @2: The cat visits the cat.[(((((triple1) -> rule6)) -> rule4))] @3: The cat visits the squirrel.[(((((((triple1) -> rule6)) -> rule4)) -> rule2))] The squirrel is kind.[(((((((triple1) -> rule6)) -> rule4) triple1) -> rule1))]