the obscurantist is not an avarice.
sent1: if something is both not a switch-ivy and gastroesophageal the maturation is ectopic. sent2: if the maturation is ectopic the obscurantist is a kind of an avarice. sent3: the suiting is non-dizygotic. sent4: the oscilloscope is not a kind of a switch-ivy but it is not non-gastroesophageal if there exists something such that it is a snow. sent5: if the suiting is not dizygotic then the subjugator snows.
sent5 & sent3 -> int1: the subjugator does snow.; int1 -> int2: something is a snow.; int2 & sent4 -> int3: the oscilloscope is not a switch-ivy but gastroesophageal.; int3 -> int4: something is not a switch-ivy but it is gastroesophageal.; int4 & sent1 -> int5: the maturation is ectopic.; sent2 & int5 -> hypothesis;
$hypothesis$ = the obscurantist is not an avarice. ; $context$ = sent1: if something is both not a switch-ivy and gastroesophageal the maturation is ectopic. sent2: if the maturation is ectopic the obscurantist is a kind of an avarice. sent3: the suiting is non-dizygotic. sent4: the oscilloscope is not a kind of a switch-ivy but it is not non-gastroesophageal if there exists something such that it is a snow. sent5: if the suiting is not dizygotic then the subjugator snows. ; $proof$ = 
sent5 & sent3 -> int1: the subjugator does snow.; int1 -> int2: something is a snow.; int2 & sent4 -> int3: the oscilloscope is not a switch-ivy but gastroesophageal.; int3 -> int4: something is not a switch-ivy but it is gastroesophageal.; int4 & sent1 -> int5: the maturation is ectopic.; sent2 & int5 -> hypothesis; __DISPROVED__