that if the solid is ecclesiastical then the midden is not a Hindemith and not a edmontosaurus does not hold.
sent1: if the solid is a Hindemith then the leafhopper is a kind of non-ecclesiastical thing that does not reward bracing. sent2: there exists something such that it either is a kind of a edmontosaurus or does reward ophryon or both. sent3: the midden is not a edmontosaurus if something is not a edmontosaurus and/or it does reward ophryon. sent4: if the leafhopper does not reward bracing then it does rummage leafhopper. sent5: everything is not a kind of a lower. sent6: if there exists something such that it is not a edmontosaurus then the midden is not a kind of a edmontosaurus. sent7: the midden is not a kind of a Hindemith if the solid is ecclesiastical and it is a kind of a conciliation. sent8: the leafhopper is not a kind of a conciliation if there is something such that it is not a conciliation and/or rummages leafhopper. sent9: there exists something such that it is not a edmontosaurus and/or it does reward ophryon. sent10: if something that is not a edmontosaurus is a kind of a Hindemith it is non-ecclesiastical. sent11: the solid is a conciliation if the leafhopper rummages leafhopper. sent12: either the leafhopper does not reward bracing or it is Uzbekistani or both. sent13: if the solid is not Uzbekistani or not non-ecclesiastical or both it does reward bracing. sent14: the leafhopper does reward bracing and/or it is Uzbekistani. sent15: something either does not reward bracing or does rummage leafhopper or both. sent16: if the leafhopper does not reward bracing and/or it is Uzbekistani then it rummages leafhopper. sent17: the fact that if the leafhopper is a edmontosaurus that is a Hindemith then the midden does not reward bracing hold. sent18: if something is not ecclesiastical then it is a kind of a conciliation that rummages leafhopper.
sent16 & sent12 -> int1: the leafhopper does rummage leafhopper.; int1 & sent11 -> int2: the solid is a conciliation.; void -> assump1: Let's assume that the fact that the solid is ecclesiastical is true.; int2 & assump1 -> int3: the solid is a kind of ecclesiastical a conciliation.; int3 & sent7 -> int4: the fact that the midden is not a Hindemith is correct.; sent9 & sent3 -> int5: the midden is not a kind of a edmontosaurus.; int4 & int5 -> int6: the midden is not a Hindemith and is not a edmontosaurus.; [assump1] & int6 -> hypothesis;
the overdrive is not Uzbekistani.
sent18 -> int7: the solid is a conciliation and rummages leafhopper if it is not ecclesiastical.; sent10 -> int8: if the solid is not a edmontosaurus but it is a Hindemith then it is non-ecclesiastical.; sent5 -> int9: the solid does not lower.;
$hypothesis$ = that if the solid is ecclesiastical then the midden is not a Hindemith and not a edmontosaurus does not hold. ; $context$ = sent1: if the solid is a Hindemith then the leafhopper is a kind of non-ecclesiastical thing that does not reward bracing. sent2: there exists something such that it either is a kind of a edmontosaurus or does reward ophryon or both. sent3: the midden is not a edmontosaurus if something is not a edmontosaurus and/or it does reward ophryon. sent4: if the leafhopper does not reward bracing then it does rummage leafhopper. sent5: everything is not a kind of a lower. sent6: if there exists something such that it is not a edmontosaurus then the midden is not a kind of a edmontosaurus. sent7: the midden is not a kind of a Hindemith if the solid is ecclesiastical and it is a kind of a conciliation. sent8: the leafhopper is not a kind of a conciliation if there is something such that it is not a conciliation and/or rummages leafhopper. sent9: there exists something such that it is not a edmontosaurus and/or it does reward ophryon. sent10: if something that is not a edmontosaurus is a kind of a Hindemith it is non-ecclesiastical. sent11: the solid is a conciliation if the leafhopper rummages leafhopper. sent12: either the leafhopper does not reward bracing or it is Uzbekistani or both. sent13: if the solid is not Uzbekistani or not non-ecclesiastical or both it does reward bracing. sent14: the leafhopper does reward bracing and/or it is Uzbekistani. sent15: something either does not reward bracing or does rummage leafhopper or both. sent16: if the leafhopper does not reward bracing and/or it is Uzbekistani then it rummages leafhopper. sent17: the fact that if the leafhopper is a edmontosaurus that is a Hindemith then the midden does not reward bracing hold. sent18: if something is not ecclesiastical then it is a kind of a conciliation that rummages leafhopper. ; $proof$ = 
sent16 & sent12 -> int1: the leafhopper does rummage leafhopper.; int1 & sent11 -> int2: the solid is a conciliation.; void -> assump1: Let's assume that the fact that the solid is ecclesiastical is true.; int2 & assump1 -> int3: the solid is a kind of ecclesiastical a conciliation.; int3 & sent7 -> int4: the fact that the midden is not a Hindemith is correct.; sent9 & sent3 -> int5: the midden is not a kind of a edmontosaurus.; int4 & int5 -> int6: the midden is not a Hindemith and is not a edmontosaurus.; [assump1] & int6 -> hypothesis; __DISPROVED__