The cat sees the lion. The dog is rough. The lion chases the dog. The squirrel is round. If something is round then it needs the squirrel. If the squirrel does not see the lion then the lion is not rough. If the lion does not see the squirrel then the squirrel is round.
The dog sees the cat.
@0: The cat sees the lion.[(triple1)] The dog is rough.[(triple2)] The lion chases the dog.[(triple3)] The squirrel is round.[(triple4)] @1: The squirrel needs the squirrel.[(((triple4) -> rule1))]