if the eggar is not an idiosyncrasy the strand is not vulnerable.
sent1: if the strand is vulnerable then the armature is not a ultramontanism. sent2: if the fact that the eggar is not a Megalobatrachus is right then the armature is not an idiosyncrasy and it is not a hobbyism. sent3: the strand is vulnerable if the eggar is not a kind of an idiosyncrasy. sent4: the fact that the eggar is not a stepladder or it is not a brownie or both hold if the thunderbolt does hum strand. sent5: the fact that the eggar is not a kind of a ultramontanism is true. sent6: that something is a kind of a scud that does not dunk python is not true if it dunks stratum. sent7: the strand is neonatal. sent8: the fact that the armature is not a ultramontanism is not false. sent9: something is a Thermopylae if it is a kind of a fossilization. sent10: if the strand is a ultramontanism that is vulnerable the armature does hedgehop. sent11: if that something is not an idiosyncrasy but it is vulnerable is not correct then it does not hedgehop. sent12: if the strand is a ultramontanism then the eggar is not an idiosyncrasy but it is vulnerable. sent13: the armature is not a ultramontanism and hedgehops if the strand is vulnerable. sent14: the strand is a kind of an idiosyncrasy if the armature is not a kind of an idiosyncrasy and it is not a hobbyism. sent15: the armature is an assassin. sent16: the eggar dunks stratum if it is a Thermopylae. sent17: something is not a Megalobatrachus if that it scuds and does not dunk python is not right. sent18: the eggar is a fossilization if that it is not a stepladder or is not a brownie or both is true. sent19: the shawm is not vulnerable and is a Cnicus. sent20: the thunderbolt hums strand.
void -> assump2: Let's assume that the strand is vulnerable.; sent13 & assump2 -> int1: the armature is not a ultramontanism and does hedgehop.;
the chance does not hedgehop.
sent11 -> int2: the chance does not hedgehop if that it is not an idiosyncrasy and it is vulnerable is wrong.; sent17 -> int3: if that the eggar scuds but it does not dunk python is not correct then it is not a kind of a Megalobatrachus.; sent6 -> int4: the fact that the eggar is a kind of a scud that does not dunk python is not true if it does dunk stratum.; sent9 -> int5: the eggar is a Thermopylae if it is a fossilization.; sent4 & sent20 -> int6: either the eggar is not a kind of a stepladder or it is not a brownie or both.; sent18 & int6 -> int7: the eggar is a fossilization.; int5 & int7 -> int8: the eggar is a Thermopylae.; sent16 & int8 -> int9: the eggar does dunk stratum.; int4 & int9 -> int10: that the eggar is a scud and does not dunk python is not true.; int3 & int10 -> int11: the eggar is not a Megalobatrachus.; sent2 & int11 -> int12: the armature is not an idiosyncrasy and is not a hobbyism.; sent14 & int12 -> int13: the strand is an idiosyncrasy.; int13 -> int14: something is an idiosyncrasy.;
$hypothesis$ = if the eggar is not an idiosyncrasy the strand is not vulnerable. ; $context$ = sent1: if the strand is vulnerable then the armature is not a ultramontanism. sent2: if the fact that the eggar is not a Megalobatrachus is right then the armature is not an idiosyncrasy and it is not a hobbyism. sent3: the strand is vulnerable if the eggar is not a kind of an idiosyncrasy. sent4: the fact that the eggar is not a stepladder or it is not a brownie or both hold if the thunderbolt does hum strand. sent5: the fact that the eggar is not a kind of a ultramontanism is true. sent6: that something is a kind of a scud that does not dunk python is not true if it dunks stratum. sent7: the strand is neonatal. sent8: the fact that the armature is not a ultramontanism is not false. sent9: something is a Thermopylae if it is a kind of a fossilization. sent10: if the strand is a ultramontanism that is vulnerable the armature does hedgehop. sent11: if that something is not an idiosyncrasy but it is vulnerable is not correct then it does not hedgehop. sent12: if the strand is a ultramontanism then the eggar is not an idiosyncrasy but it is vulnerable. sent13: the armature is not a ultramontanism and hedgehops if the strand is vulnerable. sent14: the strand is a kind of an idiosyncrasy if the armature is not a kind of an idiosyncrasy and it is not a hobbyism. sent15: the armature is an assassin. sent16: the eggar dunks stratum if it is a Thermopylae. sent17: something is not a Megalobatrachus if that it scuds and does not dunk python is not right. sent18: the eggar is a fossilization if that it is not a stepladder or is not a brownie or both is true. sent19: the shawm is not vulnerable and is a Cnicus. sent20: the thunderbolt hums strand. ; $proof$ = 
void -> assump2: Let's assume that the strand is vulnerable.; sent13 & assump2 -> int1: the armature is not a ultramontanism and does hedgehop.; __UNKNOWN__