the Chinaman is a Azaleastrum.
sent1: the sidesman is not a paragrapher if the aminophylline is a kind of a paragrapher but it is not a kind of a Schoolman. sent2: if the fact that something is alphanumerics thing that does not humanize is not right that it is not alphanumerics is right. sent3: if the fact that the zooplankton is a ventricle but it is not soft is wrong the oca is not possessive. sent4: the technical is a Mauritanian. sent5: that if there exists something such that it is a housewife the technical is a kind of a criminalization is not incorrect. sent6: the technical is not a kind of a criminalization. sent7: if there is something such that that it is not a housewife and it is not a twins is not correct then the fact that the technical is a kind of a criminalization is true. sent8: the aminophylline does not metamorphose and/or is not explosive if it is not lucky. sent9: the aminophylline is not a suit if it does not metamorphose and/or is not explosive. sent10: the aminophylline is unlucky. sent11: the Chinaman is not a kind of a housewife. sent12: there is something such that that it is a twins and not a criminalization is wrong. sent13: if the sidesman is not a paragrapher then the fact that the zooplankton is a ventricle but it is not soft is not true. sent14: something that is not a suit is a paragrapher and is not a Schoolman. sent15: if there is something such that it is not possessive then that the technical is a kind of alphanumerics thing that does not humanize does not hold. sent16: if there exists something such that it is not a housewife and not a twins the Chinaman is not a Azaleastrum.
void -> assump1: Let's assume that that the collar is not a housewife and not a twins is not true.; assump1 -> int1: there is something such that the fact that it is not a kind of a housewife and it is not a kind of a twins is wrong.; int1 & sent7 -> int2: the technical is a criminalization.; int2 & sent6 -> int3: this is contradiction.; [assump1] & int3 -> int4: the collar is not a housewife and it is not a kind of a twins.; int4 -> int5: there exists something such that it is both not a housewife and not a twins.; int5 & sent16 -> hypothesis;
the Chinaman is a kind of a Azaleastrum.
sent2 -> int6: if that that the technical is alphanumerics but it does not humanize is not true is not wrong then it is not alphanumerics.; sent14 -> int7: if the aminophylline does not suit then it is a paragrapher but not a Schoolman.; sent8 & sent10 -> int8: the aminophylline does not metamorphose and/or it is not an explosive.; sent9 & int8 -> int9: the aminophylline is not a suit.; int7 & int9 -> int10: the aminophylline is a paragrapher but it is not a Schoolman.; sent1 & int10 -> int11: the sidesman is not a paragrapher.; sent13 & int11 -> int12: the fact that the zooplankton is a ventricle and is not soft is not correct.; sent3 & int12 -> int13: the oca is not possessive.; int13 -> int14: there is something such that that it is not possessive is correct.; int14 & sent15 -> int15: the fact that the technical is alphanumerics but it does not humanize is false.; int6 & int15 -> int16: the technical is non-alphanumerics.; int16 -> int17: there is something such that it is not alphanumerics.;
$hypothesis$ = the Chinaman is a Azaleastrum. ; $context$ = sent1: the sidesman is not a paragrapher if the aminophylline is a kind of a paragrapher but it is not a kind of a Schoolman. sent2: if the fact that something is alphanumerics thing that does not humanize is not right that it is not alphanumerics is right. sent3: if the fact that the zooplankton is a ventricle but it is not soft is wrong the oca is not possessive. sent4: the technical is a Mauritanian. sent5: that if there exists something such that it is a housewife the technical is a kind of a criminalization is not incorrect. sent6: the technical is not a kind of a criminalization. sent7: if there is something such that that it is not a housewife and it is not a twins is not correct then the fact that the technical is a kind of a criminalization is true. sent8: the aminophylline does not metamorphose and/or is not explosive if it is not lucky. sent9: the aminophylline is not a suit if it does not metamorphose and/or is not explosive. sent10: the aminophylline is unlucky. sent11: the Chinaman is not a kind of a housewife. sent12: there is something such that that it is a twins and not a criminalization is wrong. sent13: if the sidesman is not a paragrapher then the fact that the zooplankton is a ventricle but it is not soft is not true. sent14: something that is not a suit is a paragrapher and is not a Schoolman. sent15: if there is something such that it is not possessive then that the technical is a kind of alphanumerics thing that does not humanize does not hold. sent16: if there exists something such that it is not a housewife and not a twins the Chinaman is not a Azaleastrum. ; $proof$ = 
void -> assump1: Let's assume that that the collar is not a housewife and not a twins is not true.; assump1 -> int1: there is something such that the fact that it is not a kind of a housewife and it is not a kind of a twins is wrong.; int1 & sent7 -> int2: the technical is a criminalization.; int2 & sent6 -> int3: this is contradiction.; [assump1] & int3 -> int4: the collar is not a housewife and it is not a kind of a twins.; int4 -> int5: there exists something such that it is both not a housewife and not a twins.; int5 & sent16 -> hypothesis; __DISPROVED__