that the fictileness happens prevents the non-omissiveness.
sent1: that the vesiculating happens is not false. sent2: both the border and the guardianship happens. sent3: that the additive and the fictileness happens prevents the revealing averageness. sent4: both the additive and the contrapuntalness occurs. sent5: that the omissiveness occurs and the vesiculating occurs is triggered by that the revealing averageness does not occur.
sent4 -> int1: the additiveness occurs.; void -> assump1: Let's assume that the fictileness happens.; int1 & assump1 -> int2: the additive and the fictileness happens.; sent3 & int2 -> int3: the revealing averageness does not occur.; sent5 & int3 -> int4: the omissiveness and the vesiculating happens.; int4 -> int5: that the omissiveness happens hold.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that the fictileness happens prevents the non-omissiveness. ; $context$ = sent1: that the vesiculating happens is not false. sent2: both the border and the guardianship happens. sent3: that the additive and the fictileness happens prevents the revealing averageness. sent4: both the additive and the contrapuntalness occurs. sent5: that the omissiveness occurs and the vesiculating occurs is triggered by that the revealing averageness does not occur. ; $proof$ = 
sent4 -> int1: the additiveness occurs.; void -> assump1: Let's assume that the fictileness happens.; int1 & assump1 -> int2: the additive and the fictileness happens.; sent3 & int2 -> int3: the revealing averageness does not occur.; sent5 & int3 -> int4: the omissiveness and the vesiculating happens.; int4 -> int5: that the omissiveness happens hold.; [assump1] & int5 -> hypothesis; __PROVED__