The dog is cold. The dog is green. The dog is not rough. The dog does not need the squirrel. The lion visits the dog. The squirrel is not green. The squirrel is not young. If something sees the squirrel then the squirrel needs the dog. If something visits the squirrel and the squirrel is young then it visits the dog. If something needs the lion and it sees the lion then it is not round. If something needs the dog then it needs the lion. If something visits the dog then it sees the squirrel. If something is rough then it does not visit the squirrel.
The lion visits the lion.
@0: The dog does not need the squirrel.[(triple4)] The dog is cold.[(triple1)] The dog is green.[(triple2)] The dog is not rough.[(triple3)] The lion visits the dog.[(triple5)] The squirrel is not green.[(triple6)] The squirrel is not young.[(triple7)] @1: The lion sees the squirrel.[(((triple5) -> rule5))] @2: The squirrel needs the dog.[(((((triple5) -> rule5)) -> rule1))] @3: The squirrel needs the lion.[(((((((triple5) -> rule5)) -> rule1)) -> rule4))]