the notch is not a kind of an allure.
sent1: the notch is not a kind of a Pitman and/or it is not a kind of an allure if the actinomycin kennels riddled. sent2: that the choc-ice does not see but it is cacodylic is not true if the actinomycin is a Pitman. sent3: the fact that the actinomycin is a kind of a Pitman is true. sent4: the notch is not an allure if that the choc-ice is not a see and not non-cacodylic is not correct. sent5: that something is a kind of optimistic thing that does not kennel angledozer is wrong if it is ictal. sent6: if that the shot is a chaff is not incorrect the pollster is a chaff. sent7: if the fact that something is not a chaff but it does squire dredger is not correct it is a kind of a chaff. sent8: that the choc-ice is a kind of non-accentual thing that does not kennel riddled does not hold if the pollster is a chaff. sent9: the actinomycin kennels riddled if that the choc-ice is non-accentual thing that does not kennels riddled is not right. sent10: if the fact that something is optimistic but it does not kennel angledozer is false it is not a hypostatization. sent11: if something is either not a Pitman or not an allure or both then it is not cacodylic. sent12: the fact that the gametophore is a kind of a cleavers but it is not a kind of a spit is incorrect. sent13: if that the gametophore is a kind of a cleavers that is not a spit does not hold then it is ictal.
sent2 & sent3 -> int1: that the choc-ice is both not a see and cacodylic is false.; int1 & sent4 -> hypothesis;
the notch is non-cacodylic.
sent11 -> int2: the notch is not cacodylic if it is not a kind of a Pitman and/or it is not a kind of an allure.; sent7 -> int3: if the fact that the shot is not a chaff but it squires dredger does not hold it is a chaff.; sent10 -> int4: the gametophore is not a hypostatization if the fact that it is optimistic and does not kennel angledozer is not true.; sent5 -> int5: if the gametophore is ictal that it is optimistic and it does not kennel angledozer is wrong.; sent13 & sent12 -> int6: the gametophore is ictal.; int5 & int6 -> int7: the fact that the gametophore is optimistic but it does not kennel angledozer is not true.; int4 & int7 -> int8: the gametophore is not a hypostatization.; int8 -> int9: there exists something such that it is not a kind of a hypostatization.;
$hypothesis$ = the notch is not a kind of an allure. ; $context$ = sent1: the notch is not a kind of a Pitman and/or it is not a kind of an allure if the actinomycin kennels riddled. sent2: that the choc-ice does not see but it is cacodylic is not true if the actinomycin is a Pitman. sent3: the fact that the actinomycin is a kind of a Pitman is true. sent4: the notch is not an allure if that the choc-ice is not a see and not non-cacodylic is not correct. sent5: that something is a kind of optimistic thing that does not kennel angledozer is wrong if it is ictal. sent6: if that the shot is a chaff is not incorrect the pollster is a chaff. sent7: if the fact that something is not a chaff but it does squire dredger is not correct it is a kind of a chaff. sent8: that the choc-ice is a kind of non-accentual thing that does not kennel riddled does not hold if the pollster is a chaff. sent9: the actinomycin kennels riddled if that the choc-ice is non-accentual thing that does not kennels riddled is not right. sent10: if the fact that something is optimistic but it does not kennel angledozer is false it is not a hypostatization. sent11: if something is either not a Pitman or not an allure or both then it is not cacodylic. sent12: the fact that the gametophore is a kind of a cleavers but it is not a kind of a spit is incorrect. sent13: if that the gametophore is a kind of a cleavers that is not a spit does not hold then it is ictal. ; $proof$ = 
sent2 & sent3 -> int1: that the choc-ice is both not a see and cacodylic is false.; int1 & sent4 -> hypothesis; __PROVED__