the maisonette is not a bloc.
sent1: if the heterotroph is econometrics the tossup is isopteran. sent2: if the fact that the merbromine is not barometric and/or it is a bloc is false the maisonette is not a bloc. sent3: the sapwood does not dissemble Galen. sent4: the fact that something is a bloc is true if it does effect angioma. sent5: the triangle is barometric if the merbromine is a forgery. sent6: the merbromine is a forgery. sent7: if the hillside is non-econometrics then the heterotroph is monomorphemic and/or non-econometrics. sent8: the dragoman is an implant and is a bloc. sent9: if the triangle is barometric it does effect angioma. sent10: if the grabber is steroidal the triangle does dissemble Galen. sent11: the tossup is isopteran if the heterotroph is monomorphemic. sent12: if the triangle is not a forgery the fact that the fact that the merbromine is not barometric and/or it is a bloc is not false does not hold. sent13: the maisonette does effect angioma if the sapwood is a Aeneid. sent14: the hillside is not econometrics if the triangle is barometric and it dissembles Galen. sent15: the grabber is steroidal. sent16: the grabber is monomorphemic. sent17: if the tossup is isopteran then the sapwood is a kind of a Aeneid.
sent5 & sent6 -> int1: the triangle is barometric.; sent10 & sent15 -> int2: the triangle does dissemble Galen.; int1 & int2 -> int3: the triangle is barometric and it dissembles Galen.; int3 & sent14 -> int4: the hillside is not econometrics.; int4 & sent7 -> int5: the heterotroph is monomorphemic and/or is econometrics.; int5 & sent11 & sent1 -> int6: the tossup is isopteran.; int6 & sent17 -> int7: the sapwood is a Aeneid.; int7 & sent13 -> int8: the maisonette does effect angioma.; sent4 -> int9: the maisonette is a kind of a bloc if it does effect angioma.; int8 & int9 -> hypothesis;
the maisonette is not a kind of a bloc.
$hypothesis$ = the maisonette is not a bloc. ; $context$ = sent1: if the heterotroph is econometrics the tossup is isopteran. sent2: if the fact that the merbromine is not barometric and/or it is a bloc is false the maisonette is not a bloc. sent3: the sapwood does not dissemble Galen. sent4: the fact that something is a bloc is true if it does effect angioma. sent5: the triangle is barometric if the merbromine is a forgery. sent6: the merbromine is a forgery. sent7: if the hillside is non-econometrics then the heterotroph is monomorphemic and/or non-econometrics. sent8: the dragoman is an implant and is a bloc. sent9: if the triangle is barometric it does effect angioma. sent10: if the grabber is steroidal the triangle does dissemble Galen. sent11: the tossup is isopteran if the heterotroph is monomorphemic. sent12: if the triangle is not a forgery the fact that the fact that the merbromine is not barometric and/or it is a bloc is not false does not hold. sent13: the maisonette does effect angioma if the sapwood is a Aeneid. sent14: the hillside is not econometrics if the triangle is barometric and it dissembles Galen. sent15: the grabber is steroidal. sent16: the grabber is monomorphemic. sent17: if the tossup is isopteran then the sapwood is a kind of a Aeneid. ; $proof$ = 
sent5 & sent6 -> int1: the triangle is barometric.; sent10 & sent15 -> int2: the triangle does dissemble Galen.; int1 & int2 -> int3: the triangle is barometric and it dissembles Galen.; int3 & sent14 -> int4: the hillside is not econometrics.; int4 & sent7 -> int5: the heterotroph is monomorphemic and/or is econometrics.; int5 & sent11 & sent1 -> int6: the tossup is isopteran.; int6 & sent17 -> int7: the sapwood is a Aeneid.; int7 & sent13 -> int8: the maisonette does effect angioma.; sent4 -> int9: the maisonette is a kind of a bloc if it does effect angioma.; int8 & int9 -> hypothesis; __DISPROVED__