the consumptive is not a Algerian.
sent1: the bookcase is not a hostile. sent2: if the bookcase does overreach Bolzano the consumptive is non-Algerian. sent3: the fact that the bookcase is not a Algerian is not false if the fact that the consumptive does not overreach Bolzano and is a kind of a paganism is not correct. sent4: the fact that the bookcase overreaches Bolzano and is a paganism is incorrect if it is not a hostile. sent5: the consumptive is not a kind of a hostile. sent6: that the fact that that the bookcase overreaches Bolzano and is a kind of a paganism is true is incorrect is not wrong. sent7: if the fact that the bookcase does not overreach Bolzano but it is a paganism does not hold then the consumptive is not a Algerian. sent8: the fact that the animalization is not a kind of a cytosine and does shun caitiff does not hold. sent9: there exists something such that that it is not a nosepiece and/or it does not shun bookcase is wrong. sent10: if there is something such that it is non-vicarial the fact that the gauntlet assimilates and it does overreach Lear is false. sent11: the epoxy is not vicarial if that the calmness is leafless is correct. sent12: the fact that the consumptive is a Algerian and it is hostile is not right if it is not a paganism. sent13: the calmness is leafless if there exists something such that the fact that it is not a nosepiece and/or does not shun bookcase is wrong. sent14: if the bookcase is not a paganism the fact that it is a kind of a Algerian and does overreach Bolzano does not hold. sent15: if the bookcase is not a hostile that it does not overreach Bolzano and it is a paganism is wrong. sent16: the fact that the fact that the bookcase is a paganism that is unobvious is false hold.
sent15 & sent1 -> int1: that the bookcase does not overreach Bolzano but it is a kind of a paganism does not hold.; sent7 & int1 -> hypothesis;
the consumptive is a kind of a Algerian.
sent9 & sent13 -> int2: the calmness is leafless.; sent11 & int2 -> int3: the epoxy is not vicarial.; int3 -> int4: there is something such that it is not vicarial.; int4 & sent10 -> int5: the fact that the gauntlet assimilates and it overreaches Lear is false.; int5 -> int6: there is something such that that it does assimilate and overreaches Lear is false.;
$hypothesis$ = the consumptive is not a Algerian. ; $context$ = sent1: the bookcase is not a hostile. sent2: if the bookcase does overreach Bolzano the consumptive is non-Algerian. sent3: the fact that the bookcase is not a Algerian is not false if the fact that the consumptive does not overreach Bolzano and is a kind of a paganism is not correct. sent4: the fact that the bookcase overreaches Bolzano and is a paganism is incorrect if it is not a hostile. sent5: the consumptive is not a kind of a hostile. sent6: that the fact that that the bookcase overreaches Bolzano and is a kind of a paganism is true is incorrect is not wrong. sent7: if the fact that the bookcase does not overreach Bolzano but it is a paganism does not hold then the consumptive is not a Algerian. sent8: the fact that the animalization is not a kind of a cytosine and does shun caitiff does not hold. sent9: there exists something such that that it is not a nosepiece and/or it does not shun bookcase is wrong. sent10: if there is something such that it is non-vicarial the fact that the gauntlet assimilates and it does overreach Lear is false. sent11: the epoxy is not vicarial if that the calmness is leafless is correct. sent12: the fact that the consumptive is a Algerian and it is hostile is not right if it is not a paganism. sent13: the calmness is leafless if there exists something such that the fact that it is not a nosepiece and/or does not shun bookcase is wrong. sent14: if the bookcase is not a paganism the fact that it is a kind of a Algerian and does overreach Bolzano does not hold. sent15: if the bookcase is not a hostile that it does not overreach Bolzano and it is a paganism is wrong. sent16: the fact that the fact that the bookcase is a paganism that is unobvious is false hold. ; $proof$ = 
sent15 & sent1 -> int1: that the bookcase does not overreach Bolzano but it is a kind of a paganism does not hold.; sent7 & int1 -> hypothesis; __PROVED__