The lion does not see the squirrel. The squirrel chases the lion. The tiger visits the lion. If something is big then it is not young. If something is young then it does not chase the squirrel. If something visits the tiger then the tiger chases the lion. If something visits the lion then it chases the lion. If something sees the squirrel and it sees the lion then the lion chases the tiger. If something chases the lion then it is big.
The lion is young.
@0: The lion does not see the squirrel.[(triple1)] The squirrel chases the lion.[(triple2)] The tiger visits the lion.[(triple3)] @1: The squirrel is big.[(((triple2) -> rule6))] The tiger chases the lion.[(((triple3) -> rule4))] @2: The squirrel is not young.[(((((triple2) -> rule6)) -> rule1))] The tiger is big.[(((((triple3) -> rule4)) -> rule6))] @3: The tiger is not young.[(((((((triple3) -> rule4)) -> rule6)) -> rule1))]