the ascus is not a speakerphone.
sent1: the ascus is not instructive if the funnel is instructive. sent2: the ascus freckles antheridiophore if it does not subside. sent3: the funnel is instructive. sent4: if something does not subside it does freckle antheridiophore and is a speakerphone. sent5: the ascus is instructive if it does subside.
void -> assump1: Let's assume that the ascus does subside.; sent5 & assump1 -> int1: the ascus is instructive.; sent1 & sent3 -> int2: the fact that the ascus is not instructive is correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the ascus does not subside.; sent4 -> int5: if the ascus does not subside then it freckles antheridiophore and is a kind of a speakerphone.; int4 & int5 -> int6: the ascus does freckle antheridiophore and it is a kind of a speakerphone.; int6 -> hypothesis;
$hypothesis$ = the ascus is not a speakerphone. ; $context$ = sent1: the ascus is not instructive if the funnel is instructive. sent2: the ascus freckles antheridiophore if it does not subside. sent3: the funnel is instructive. sent4: if something does not subside it does freckle antheridiophore and is a speakerphone. sent5: the ascus is instructive if it does subside. ; $proof$ = 
void -> assump1: Let's assume that the ascus does subside.; sent5 & assump1 -> int1: the ascus is instructive.; sent1 & sent3 -> int2: the fact that the ascus is not instructive is correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the ascus does not subside.; sent4 -> int5: if the ascus does not subside then it freckles antheridiophore and is a kind of a speakerphone.; int4 & int5 -> int6: the ascus does freckle antheridiophore and it is a kind of a speakerphone.; int6 -> hypothesis; __DISPROVED__