the dictostylium does silence dong and it is a vindication.
sent1: the dormouse is not leaky and is not bipedal. sent2: the buckeye is both a snowbell and leaky. sent3: if the dormouse is a aphakic then the gasman is a kind of a trembles that does not scour auditorium. sent4: if something that is not a trembles is a kind of a fact it is not a vindication. sent5: a fact that does tremble does not silence dong. sent6: if something is not a endonuclease then it is not a trembles and it is a fact. sent7: the fact that the dictostylium does silence dong and it is a kind of a vindication if the gasman does not silence dong hold. sent8: the dormouse is both Andean and not a molt. sent9: the dormouse is not a Alexandrian and it is not leaky. sent10: the dormouse is a aphakic and is a kind of a metazoan. sent11: the adulteress is not leaky and does not silence oxheart if the gasman is not a fact. sent12: if the microphage is not a kind of a endonuclease then the fact that the adulteress is a kind of non-leaky thing that does not silence oxheart does not hold. sent13: the fact that the microphage is not a kind of a endonuclease hold.
void -> assump1: Let's assume that the gasman is not a fact.; sent11 & assump1 -> int1: the adulteress is not leaky and it does not silence oxheart.; sent12 & sent13 -> int2: the fact that the adulteress is not leaky and it does not silence oxheart is wrong.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the gasman is a fact.; sent10 -> int5: the dormouse is aphakic.; sent3 & int5 -> int6: the gasman is a trembles and does not scour auditorium.; int6 -> int7: the gasman trembles.; int4 & int7 -> int8: the gasman is a fact and it does tremble.; sent5 -> int9: the gasman does not silence dong if it is a fact and it trembles.; int8 & int9 -> int10: the gasman does not silence dong.; int10 & sent7 -> hypothesis;
the fact that the dictostylium does silence dong and is a kind of a vindication is incorrect.
sent4 -> int11: the gasman is not a vindication if it is not a trembles and it is a fact.; sent6 -> int12: if the fact that the gasman is not a endonuclease is true it is not a trembles and is a kind of a fact.;
$hypothesis$ = the dictostylium does silence dong and it is a vindication. ; $context$ = sent1: the dormouse is not leaky and is not bipedal. sent2: the buckeye is both a snowbell and leaky. sent3: if the dormouse is a aphakic then the gasman is a kind of a trembles that does not scour auditorium. sent4: if something that is not a trembles is a kind of a fact it is not a vindication. sent5: a fact that does tremble does not silence dong. sent6: if something is not a endonuclease then it is not a trembles and it is a fact. sent7: the fact that the dictostylium does silence dong and it is a kind of a vindication if the gasman does not silence dong hold. sent8: the dormouse is both Andean and not a molt. sent9: the dormouse is not a Alexandrian and it is not leaky. sent10: the dormouse is a aphakic and is a kind of a metazoan. sent11: the adulteress is not leaky and does not silence oxheart if the gasman is not a fact. sent12: if the microphage is not a kind of a endonuclease then the fact that the adulteress is a kind of non-leaky thing that does not silence oxheart does not hold. sent13: the fact that the microphage is not a kind of a endonuclease hold. ; $proof$ = 
void -> assump1: Let's assume that the gasman is not a fact.; sent11 & assump1 -> int1: the adulteress is not leaky and it does not silence oxheart.; sent12 & sent13 -> int2: the fact that the adulteress is not leaky and it does not silence oxheart is wrong.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the gasman is a fact.; sent10 -> int5: the dormouse is aphakic.; sent3 & int5 -> int6: the gasman is a trembles and does not scour auditorium.; int6 -> int7: the gasman trembles.; int4 & int7 -> int8: the gasman is a fact and it does tremble.; sent5 -> int9: the gasman does not silence dong if it is a fact and it trembles.; int8 & int9 -> int10: the gasman does not silence dong.; int10 & sent7 -> hypothesis; __PROVED__