The lion visits the squirrel. The squirrel needs the lion. If something sees the squirrel then it sees the lion. If the lion sees the squirrel and the lion needs the squirrel then the squirrel is kind. If the lion visits the squirrel then the squirrel needs the lion. If something sees the squirrel then the squirrel needs the lion. If something visits the lion then the lion needs the squirrel. If the squirrel visits the lion then the lion sees the squirrel. If something needs the squirrel then it visits the lion. If something is green and it sees the squirrel then it is big.
The squirrel does not need the lion.
@0: The lion visits the squirrel.[(triple1)] The squirrel needs the lion.[(triple2 OR ((triple1) -> rule3))]