The bear is kind. The cat is rough. The squirrel is kind. If something likes the cat and the cat needs the squirrel then the cat is kind. If something likes the squirrel then it visits the bear. If something needs the bear then the bear needs the cat. If something is rough then it needs the cat. If something likes the squirrel then it visits the cat. If something needs the cat then it likes the squirrel. If something likes the bear then the bear needs the squirrel. If the cat needs the squirrel and the squirrel is rough then the squirrel needs the cat.
The cat visits the cat.
@0: The bear is kind.[(triple1)] The cat is rough.[(triple2)] The squirrel is kind.[(triple3)] @1: The cat needs the cat.[(((triple2) -> rule4))] @2: The cat likes the squirrel.[(((((triple2) -> rule4)) -> rule6))] @3: The cat visits the bear.[(((((((triple2) -> rule4)) -> rule6)) -> rule2))] The cat visits the cat.[(((((((triple2) -> rule4)) -> rule6)) -> rule5))]