the fact that if the academician is punctureless the fact that the stipule individuates uncongeniality hold is not true.
sent1: the academician is salamandriform if the exon is an aileron. sent2: the exon is punctureless. sent3: if something is a kind of punctureless thing that is a kind of an aileron then the exon is salamandriform. sent4: if there exists something such that it is punctureless and it is an aileron the academician does individuate uncongeniality. sent5: the academician is an aileron and steadied. sent6: the exon is mesenteric and is a sweetheart. sent7: if the exon is not non-salamandriform then the stipule individuates uncongeniality.
void -> assump1: Let's assume that the academician is punctureless.; sent5 -> int1: the fact that the academician is an aileron is true.; assump1 & int1 -> int2: the academician is punctureless and it is an aileron.; int2 -> int3: something is punctureless and it is an aileron.; int3 & sent3 -> int4: the exon is salamandriform.; sent7 & int4 -> int5: the stipule does individuate uncongeniality.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the fact that if the academician is punctureless the fact that the stipule individuates uncongeniality hold is not true. ; $context$ = sent1: the academician is salamandriform if the exon is an aileron. sent2: the exon is punctureless. sent3: if something is a kind of punctureless thing that is a kind of an aileron then the exon is salamandriform. sent4: if there exists something such that it is punctureless and it is an aileron the academician does individuate uncongeniality. sent5: the academician is an aileron and steadied. sent6: the exon is mesenteric and is a sweetheart. sent7: if the exon is not non-salamandriform then the stipule individuates uncongeniality. ; $proof$ = 
void -> assump1: Let's assume that the academician is punctureless.; sent5 -> int1: the fact that the academician is an aileron is true.; assump1 & int1 -> int2: the academician is punctureless and it is an aileron.; int2 -> int3: something is punctureless and it is an aileron.; int3 & sent3 -> int4: the exon is salamandriform.; sent7 & int4 -> int5: the stipule does individuate uncongeniality.; [assump1] & int5 -> hypothesis; __DISPROVED__