the redneck is a kind of a kaon.
sent1: the fact that the G does not derail scheduling is correct. sent2: that the megagametophyte is a workwear is not false. sent3: the Castor is not a ptomaine if there is something such that it is not non-discomycetous and it is not a workwear. sent4: that something is both hydrous and not apocryphal does not hold if it is not a acervulus. sent5: the fact that the labyrinth does not perplex heaume and is a kind of a thousand is false if there is something such that it does perplex heaume. sent6: the labyrinth is not a thousand if the fact that it does not perplex heaume and it is a thousand is not correct. sent7: The fact that the scheduling does not derail G is correct. sent8: the redneck is discomycetous. sent9: the redneck is not a kind of a kaon if the fact that it is a yodel is correct. sent10: there is something such that that it is biennial an eightieth is not correct. sent11: something that is a workwear is a kind of non-discomycetous thing that is not a kind of a kaon. sent12: if there is something such that that it is a kind of a acervulus and it is not a ptomaine does not hold the fact that the Castor is discomycetous is right. sent13: the labyrinth is not a ptomaine if there exists something such that it is not discomycetous and it is not a kind of a kaon. sent14: if something is apocryphal and/or it does not derail scheduling it does not yodel. sent15: something is discomycetous but it is not a workwear if it is not a thousand. sent16: if something does not yodel that it is a acervulus and it is not a ptomaine is not right. sent17: something does perplex heaume. sent18: the redneck is a kind of a kaon if that the Castor is discomycetous hold.
sent14 -> int1: if the G is not non-apocryphal and/or it does not derail scheduling then it does not yodel.; sent1 -> int2: either the G is apocryphal or it does not derail scheduling or both.; int1 & int2 -> int3: the G is not a yodel.; sent16 -> int4: if the G is not a yodel that it is a acervulus and it is not a ptomaine is wrong.; int3 & int4 -> int5: that the G is a kind of a acervulus but it is not a ptomaine is wrong.; int5 -> int6: there exists something such that that it is a acervulus that is not a kind of a ptomaine is wrong.; int6 & sent12 -> int7: the Castor is discomycetous.; int7 & sent18 -> hypothesis;
the redneck is not a kind of a kaon.
sent15 -> int8: if the labyrinth is not a thousand then it is discomycetous and is not a workwear.; sent17 & sent5 -> int9: that that the labyrinth does not perplex heaume but it is a kind of a thousand is not correct hold.; sent6 & int9 -> int10: the labyrinth is not a kind of a thousand.; int8 & int10 -> int11: the labyrinth is discomycetous but it is not a workwear.; int11 -> int12: there is something such that that it is a kind of discomycetous thing that is not a workwear is not false.; int12 & sent3 -> int13: the Castor is not a kind of a ptomaine.;
$hypothesis$ = the redneck is a kind of a kaon. ; $context$ = sent1: the fact that the G does not derail scheduling is correct. sent2: that the megagametophyte is a workwear is not false. sent3: the Castor is not a ptomaine if there is something such that it is not non-discomycetous and it is not a workwear. sent4: that something is both hydrous and not apocryphal does not hold if it is not a acervulus. sent5: the fact that the labyrinth does not perplex heaume and is a kind of a thousand is false if there is something such that it does perplex heaume. sent6: the labyrinth is not a thousand if the fact that it does not perplex heaume and it is a thousand is not correct. sent7: The fact that the scheduling does not derail G is correct. sent8: the redneck is discomycetous. sent9: the redneck is not a kind of a kaon if the fact that it is a yodel is correct. sent10: there is something such that that it is biennial an eightieth is not correct. sent11: something that is a workwear is a kind of non-discomycetous thing that is not a kind of a kaon. sent12: if there is something such that that it is a kind of a acervulus and it is not a ptomaine does not hold the fact that the Castor is discomycetous is right. sent13: the labyrinth is not a ptomaine if there exists something such that it is not discomycetous and it is not a kind of a kaon. sent14: if something is apocryphal and/or it does not derail scheduling it does not yodel. sent15: something is discomycetous but it is not a workwear if it is not a thousand. sent16: if something does not yodel that it is a acervulus and it is not a ptomaine is not right. sent17: something does perplex heaume. sent18: the redneck is a kind of a kaon if that the Castor is discomycetous hold. ; $proof$ = 
sent14 -> int1: if the G is not non-apocryphal and/or it does not derail scheduling then it does not yodel.; sent1 -> int2: either the G is apocryphal or it does not derail scheduling or both.; int1 & int2 -> int3: the G is not a yodel.; sent16 -> int4: if the G is not a yodel that it is a acervulus and it is not a ptomaine is wrong.; int3 & int4 -> int5: that the G is a kind of a acervulus but it is not a ptomaine is wrong.; int5 -> int6: there exists something such that that it is a acervulus that is not a kind of a ptomaine is wrong.; int6 & sent12 -> int7: the Castor is discomycetous.; int7 & sent18 -> hypothesis; __PROVED__