The squirrel is red. The tiger visits the squirrel. If something visits the squirrel then the squirrel needs the tiger. If the squirrel needs the tiger then the squirrel likes the tiger. If something visits the squirrel and the squirrel is nice then it visits the tiger. If something visits the squirrel and the squirrel is nice then the squirrel needs the tiger. If the tiger is rough then the tiger is young. If something is rough and it likes the squirrel then the squirrel is rough. If something needs the tiger then the tiger is rough. If something needs the tiger and it visits the tiger then it needs the squirrel.
The tiger needs the squirrel.
@0: The squirrel is red.[(triple1)] The tiger visits the squirrel.[(triple2)] @1: The squirrel needs the tiger.[(((triple2) -> rule1))] @2: The squirrel likes the tiger.[(((((triple2) -> rule1)) -> rule2))] The tiger is rough.[(((((triple2) -> rule1)) -> rule7))] @3: The tiger is young.[(((((((triple2) -> rule1)) -> rule7)) -> rule5))]