the fact that there is something such that if it is a Saqqara it does not thunder is false.
sent1: the periodical does browse trainload if a Saqqara does thunder. sent2: the avaram is a Saqqara. sent3: the periodical does not browse trainload if the avaram is non-two-piece. sent4: there exists something such that it is a two-piece and it is a thunderbird. sent5: the avaram is not a two-piece.
void -> assump1: Let's assume that the greengrocery is a Saqqara.; void -> assump2: Let's assume that the greengrocery is a kind of a thunderbird.; assump1 & assump2 -> int1: the greengrocery is a Saqqara that is a thunderbird.; int1 -> int2: there exists something such that it is a Saqqara and it is a thunderbird.; int2 & sent1 -> int3: the periodical does browse trainload.; sent3 & sent5 -> int4: the periodical does not browse trainload.; int3 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: the greengrocery is not a thunderbird.; [assump1] & int6 -> int7: if the greengrocery is a Saqqara it is not a thunderbird.; int7 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is a Saqqara it does not thunder is false. ; $context$ = sent1: the periodical does browse trainload if a Saqqara does thunder. sent2: the avaram is a Saqqara. sent3: the periodical does not browse trainload if the avaram is non-two-piece. sent4: there exists something such that it is a two-piece and it is a thunderbird. sent5: the avaram is not a two-piece. ; $proof$ = 
void -> assump1: Let's assume that the greengrocery is a Saqqara.; void -> assump2: Let's assume that the greengrocery is a kind of a thunderbird.; assump1 & assump2 -> int1: the greengrocery is a Saqqara that is a thunderbird.; int1 -> int2: there exists something such that it is a Saqqara and it is a thunderbird.; int2 & sent1 -> int3: the periodical does browse trainload.; sent3 & sent5 -> int4: the periodical does not browse trainload.; int3 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: the greengrocery is not a thunderbird.; [assump1] & int6 -> int7: if the greengrocery is a Saqqara it is not a thunderbird.; int7 -> hypothesis; __DISPROVED__