the anticatalyst is a fundamentalist and/or is not a peak.
sent1: if that the knobkerrie is a alpenstock is right then the anticatalyst is fundamentalist. sent2: if that the fact that the franc-tireur is not homologous and does chin hold is incorrect that the knobkerrie is a alpenstock hold. sent3: that the knobkerrie is not commodious but it does become aerology is not correct. sent4: if the spathe does not nurse supertonic the fact that it is not a kind of a keeshond and is ventral is not true. sent5: the crocus does not chin if there exists something such that it is a kind of a keeshond. sent6: the spathe does not nurse supertonic and nurses franc-tireur. sent7: the crocus is not a chin if there exists something such that that it is not a keeshond and is ventral does not hold. sent8: the fact that that the franc-tireur is non-homologous a chin hold is not right if the crocus is not a chin.
sent6 -> int1: the spathe does not nurse supertonic.; int1 & sent4 -> int2: that the spathe is not a keeshond but it is ventral is not right.; int2 -> int3: there is something such that that it is not a kind of a keeshond and it is ventral is not true.; int3 & sent7 -> int4: the crocus is not a chin.; int4 & sent8 -> int5: that the franc-tireur is not homologous but it does chin does not hold.; int5 & sent2 -> int6: the knobkerrie is a alpenstock.; int6 & sent1 -> int7: the anticatalyst is a fundamentalist.; int7 -> hypothesis;
$hypothesis$ = the anticatalyst is a fundamentalist and/or is not a peak. ; $context$ = sent1: if that the knobkerrie is a alpenstock is right then the anticatalyst is fundamentalist. sent2: if that the fact that the franc-tireur is not homologous and does chin hold is incorrect that the knobkerrie is a alpenstock hold. sent3: that the knobkerrie is not commodious but it does become aerology is not correct. sent4: if the spathe does not nurse supertonic the fact that it is not a kind of a keeshond and is ventral is not true. sent5: the crocus does not chin if there exists something such that it is a kind of a keeshond. sent6: the spathe does not nurse supertonic and nurses franc-tireur. sent7: the crocus is not a chin if there exists something such that that it is not a keeshond and is ventral does not hold. sent8: the fact that that the franc-tireur is non-homologous a chin hold is not right if the crocus is not a chin. ; $proof$ = 
sent6 -> int1: the spathe does not nurse supertonic.; int1 & sent4 -> int2: that the spathe is not a keeshond but it is ventral is not right.; int2 -> int3: there is something such that that it is not a kind of a keeshond and it is ventral is not true.; int3 & sent7 -> int4: the crocus is not a chin.; int4 & sent8 -> int5: that the franc-tireur is not homologous but it does chin does not hold.; int5 & sent2 -> int6: the knobkerrie is a alpenstock.; int6 & sent1 -> int7: the anticatalyst is a fundamentalist.; int7 -> hypothesis; __PROVED__