the fact that the fact that the caprifig is a kind of a heterosexual and is unambitious is not correct hold.
sent1: if the keratinization does not warn but it is aplitic the heliport warn. sent2: that something is hircine and it is a dinocerate does not hold if it is not a kind of a Ottoman. sent3: if the keratinization does not spectate distinction then it is not vibrionic. sent4: the schoolmate is heterosexual and it is a kind of a Bentham if there exists something such that it warns. sent5: if something is not unambitious then that the self-induction warns and it is a Bentham is wrong. sent6: that if there exists something such that the fact that it is non-phenotypical but not radiolucent is false the autoinjector is not a kind of a Ottoman is true. sent7: the self-induction is a Sylviidae. sent8: if the heliport is a Sylviidae then the keratinization is vibrionic. sent9: there exists something such that the fact that it is both not phenotypical and not radiolucent is not correct. sent10: something is vibrionic if it is a Sylviidae. sent11: that the parathyroid is not a kind of a Chinese and does not thrombose theorization is wrong if something is a kind of a Chinese. sent12: if that the parathyroid is not a Chinese and it does not thrombose theorization does not hold then that the packhorse does not spectate distinction is right. sent13: the self-induction warns or it is aplitic or both if the heliport does not warns. sent14: if there exists something such that that it is hircine and it is a dinocerate does not hold then the mestizo is not hircine. sent15: the serf is a kind of a Chinese if that there is something such that the fact that it is not a cheerfulness and is not Chinese is wrong hold. sent16: the self-induction is non-heterosexual if the schoolmate is a non-heterosexual that is a Bentham. sent17: if something is not hircine then that it is not a cheerfulness and it is not a Chinese is incorrect. sent18: the schoolmate does not spectate distinction. sent19: The distinction does not spectate keratinization. sent20: the keratinization does not spectate distinction. sent21: the fact that the heliport is not non-aplitic or a Sylviidae or both is not wrong if that the schoolmate is not non-aplitic is not incorrect. sent22: the self-induction warns but it is not aplitic. sent23: the schoolmate is not aplitic if the fact that the self-induction does warn and is a kind of a Bentham is not right. sent24: the caprifig is a marl and is heterosexual. sent25: if that the packhorse is vibrionic is right then the keratinization does not warn but it is aplitic. sent26: if the heliport is aplitic the keratinization is vibrionic. sent27: the vellum is not a Sylviidae. sent28: if something is a Bentham then it is a kind of a cavalla.
void -> assump1: Let's assume that that the caprifig is not unambitious is true.; assump1 -> int1: there are non-unambitious things.; int1 & sent5 -> int2: the fact that the self-induction warns and it is a kind of a Bentham is false.; int2 & sent23 -> int3: the schoolmate is not aplitic.; int3 & sent21 -> int4: the heliport is aplitic and/or it is a Sylviidae.; int4 & sent26 & sent8 -> int5: the keratinization is vibrionic.; sent3 & sent20 -> int6: the keratinization is not vibrionic.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the caprifig is unambitious.; sent24 -> int9: the fact that the caprifig is a heterosexual hold.; int8 & int9 -> hypothesis;
the fact that the caprifig is a heterosexual and unambitious is not true.
sent10 -> int10: the packhorse is vibrionic if it is a kind of a Sylviidae.; sent17 -> int11: if the mestizo is not hircine then the fact that it is not a kind of a cheerfulness and is not Chinese is false.; sent2 -> int12: that the autoinjector is hircine and it is a dinocerate is not right if it is not a Ottoman.; sent9 & sent6 -> int13: the autoinjector is not a Ottoman.; int12 & int13 -> int14: that the autoinjector is hircine and it is a dinocerate is wrong.; int14 -> int15: there exists something such that the fact that it is hircine and it is a kind of a dinocerate does not hold.; int15 & sent14 -> int16: the fact that the mestizo is not hircine is not false.; int11 & int16 -> int17: that the mestizo is both not a cheerfulness and not Chinese is not right.; int17 -> int18: there is something such that the fact that it is not a cheerfulness and is not a Chinese is not true.; int18 & sent15 -> int19: the serf is a kind of a Chinese.; int19 -> int20: there exists something such that it is a kind of a Chinese.; int20 & sent11 -> int21: that the parathyroid is not Chinese and it does not thrombose theorization is not correct.; sent12 & int21 -> int22: the packhorse does not spectate distinction.;
$hypothesis$ = the fact that the fact that the caprifig is a kind of a heterosexual and is unambitious is not correct hold. ; $context$ = sent1: if the keratinization does not warn but it is aplitic the heliport warn. sent2: that something is hircine and it is a dinocerate does not hold if it is not a kind of a Ottoman. sent3: if the keratinization does not spectate distinction then it is not vibrionic. sent4: the schoolmate is heterosexual and it is a kind of a Bentham if there exists something such that it warns. sent5: if something is not unambitious then that the self-induction warns and it is a Bentham is wrong. sent6: that if there exists something such that the fact that it is non-phenotypical but not radiolucent is false the autoinjector is not a kind of a Ottoman is true. sent7: the self-induction is a Sylviidae. sent8: if the heliport is a Sylviidae then the keratinization is vibrionic. sent9: there exists something such that the fact that it is both not phenotypical and not radiolucent is not correct. sent10: something is vibrionic if it is a Sylviidae. sent11: that the parathyroid is not a kind of a Chinese and does not thrombose theorization is wrong if something is a kind of a Chinese. sent12: if that the parathyroid is not a Chinese and it does not thrombose theorization does not hold then that the packhorse does not spectate distinction is right. sent13: the self-induction warns or it is aplitic or both if the heliport does not warns. sent14: if there exists something such that that it is hircine and it is a dinocerate does not hold then the mestizo is not hircine. sent15: the serf is a kind of a Chinese if that there is something such that the fact that it is not a cheerfulness and is not Chinese is wrong hold. sent16: the self-induction is non-heterosexual if the schoolmate is a non-heterosexual that is a Bentham. sent17: if something is not hircine then that it is not a cheerfulness and it is not a Chinese is incorrect. sent18: the schoolmate does not spectate distinction. sent19: The distinction does not spectate keratinization. sent20: the keratinization does not spectate distinction. sent21: the fact that the heliport is not non-aplitic or a Sylviidae or both is not wrong if that the schoolmate is not non-aplitic is not incorrect. sent22: the self-induction warns but it is not aplitic. sent23: the schoolmate is not aplitic if the fact that the self-induction does warn and is a kind of a Bentham is not right. sent24: the caprifig is a marl and is heterosexual. sent25: if that the packhorse is vibrionic is right then the keratinization does not warn but it is aplitic. sent26: if the heliport is aplitic the keratinization is vibrionic. sent27: the vellum is not a Sylviidae. sent28: if something is a Bentham then it is a kind of a cavalla. ; $proof$ = 
void -> assump1: Let's assume that that the caprifig is not unambitious is true.; assump1 -> int1: there are non-unambitious things.; int1 & sent5 -> int2: the fact that the self-induction warns and it is a kind of a Bentham is false.; int2 & sent23 -> int3: the schoolmate is not aplitic.; int3 & sent21 -> int4: the heliport is aplitic and/or it is a Sylviidae.; int4 & sent26 & sent8 -> int5: the keratinization is vibrionic.; sent3 & sent20 -> int6: the keratinization is not vibrionic.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the caprifig is unambitious.; sent24 -> int9: the fact that the caprifig is a heterosexual hold.; int8 & int9 -> hypothesis; __DISPROVED__