that the assuming hydrophobicity does not occur hold.
sent1: the assuming Adiantum and the inboardness happens. sent2: the assuming euphuism happens. sent3: that the congratulating capitulum occurs yields that the obscenity occurs. sent4: that the assuming hydrophobicity occurs and the obscenity happens prevents the assuming euphuism. sent5: the assuming Adiantum occurs. sent6: if the assuming euphuism but not the demagoguery happens then the obscenity does not occur. sent7: that the congratulating capitulum happens is caused by that the inboardness happens.
sent1 -> int1: the inboardness happens.; int1 & sent7 -> int2: the congratulating capitulum happens.; int2 & sent3 -> int3: the obscenity happens.; void -> assump1: Let's assume that the assuming hydrophobicity happens.; int3 & assump1 -> int4: both the assuming hydrophobicity and the obscenity happens.; int4 & sent4 -> int5: that the assuming euphuism does not occur is correct.; int5 & sent2 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
that the assuming hydrophobicity happens is true.
$hypothesis$ = that the assuming hydrophobicity does not occur hold. ; $context$ = sent1: the assuming Adiantum and the inboardness happens. sent2: the assuming euphuism happens. sent3: that the congratulating capitulum occurs yields that the obscenity occurs. sent4: that the assuming hydrophobicity occurs and the obscenity happens prevents the assuming euphuism. sent5: the assuming Adiantum occurs. sent6: if the assuming euphuism but not the demagoguery happens then the obscenity does not occur. sent7: that the congratulating capitulum happens is caused by that the inboardness happens. ; $proof$ = 
sent1 -> int1: the inboardness happens.; int1 & sent7 -> int2: the congratulating capitulum happens.; int2 & sent3 -> int3: the obscenity happens.; void -> assump1: Let's assume that the assuming hydrophobicity happens.; int3 & assump1 -> int4: both the assuming hydrophobicity and the obscenity happens.; int4 & sent4 -> int5: that the assuming euphuism does not occur is correct.; int5 & sent2 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__