the opinion occurs.
sent1: the whelping and the motionalness happens. sent2: that the opinion does not occur is caused by that the premising pronged does not occur. sent3: the premising anisette does not occur if the fact that not the premising pronged but the staphylococcalness happens does not hold. sent4: that the premising anisette does not occur brings about that the whelping does not occur and the clangoring reprobation does not occur.
void -> assump1: Let's assume that that the premising pronged does not occur and the staphylococcalness happens is wrong.; sent3 & assump1 -> int1: the premising anisette does not occur.; int1 & sent4 -> int2: the whelping does not occur and the clangoring reprobation does not occur.; int2 -> int3: the whelping does not occur.; sent1 -> int4: the whelping happens.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: not the premising pronged but the staphylococcalness occurs.; int6 -> int7: the premising pronged does not occur.; int7 & sent2 -> hypothesis;
$hypothesis$ = the opinion occurs. ; $context$ = sent1: the whelping and the motionalness happens. sent2: that the opinion does not occur is caused by that the premising pronged does not occur. sent3: the premising anisette does not occur if the fact that not the premising pronged but the staphylococcalness happens does not hold. sent4: that the premising anisette does not occur brings about that the whelping does not occur and the clangoring reprobation does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the premising pronged does not occur and the staphylococcalness happens is wrong.; sent3 & assump1 -> int1: the premising anisette does not occur.; int1 & sent4 -> int2: the whelping does not occur and the clangoring reprobation does not occur.; int2 -> int3: the whelping does not occur.; sent1 -> int4: the whelping happens.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: not the premising pronged but the staphylococcalness occurs.; int6 -> int7: the premising pronged does not occur.; int7 & sent2 -> hypothesis; __DISPROVED__