the Belgian is a kind of a Chimera.
sent1: that the serger is not a kind of a drink but it is a gynoecium is false if the guillotine is a claque. sent2: that the Yugoslav does not scale Esquire and it does not defend is false if the guillotine is not a claque. sent3: the Belgian is a Chimera if the serger is a kind of a drink. sent4: the fact that the tastebud does not drink and does defend does not hold. sent5: the Belgian does defend. sent6: if something does not intrigue naif but it does backpack it defends. sent7: the serger does scale Esquire if it is both not a gynoecium and a backpack. sent8: the tastebud does backpack. sent9: if the Belgian is not a Chimera and does defend it is a backpack. sent10: the Belgian is a kind of a Chimera if the fact that the serger does not drink but it is a gynoecium is incorrect. sent11: the serger scales Esquire if that the Yugoslav is not a drink but a backpack is false. sent12: the Yugoslav does scale Esquire if the tastebud defends. sent13: the fact that the serger is a backpack is correct. sent14: the tastebud does not intrigue naif but it does backpack. sent15: the serger is not a kind of a drink and scales Esquire. sent16: that the serger is a drink and it is a kind of a gynoecium does not hold if the guillotine is a claque. sent17: if the Yugoslav does scale Esquire the guillotine is a kind of a claque. sent18: the fact that the serger does drink and it is a gynoecium is incorrect.
sent6 -> int1: if the tastebud does not intrigue naif and is a backpack it defends.; int1 & sent14 -> int2: the tastebud defends.; int2 & sent12 -> int3: the Yugoslav scales Esquire.; int3 & sent17 -> int4: the guillotine is a kind of a claque.; int4 & sent1 -> int5: the fact that the serger is both not a drink and a gynoecium is not true.; int5 & sent10 -> hypothesis;
the Belgian is not a Chimera.
$hypothesis$ = the Belgian is a kind of a Chimera. ; $context$ = sent1: that the serger is not a kind of a drink but it is a gynoecium is false if the guillotine is a claque. sent2: that the Yugoslav does not scale Esquire and it does not defend is false if the guillotine is not a claque. sent3: the Belgian is a Chimera if the serger is a kind of a drink. sent4: the fact that the tastebud does not drink and does defend does not hold. sent5: the Belgian does defend. sent6: if something does not intrigue naif but it does backpack it defends. sent7: the serger does scale Esquire if it is both not a gynoecium and a backpack. sent8: the tastebud does backpack. sent9: if the Belgian is not a Chimera and does defend it is a backpack. sent10: the Belgian is a kind of a Chimera if the fact that the serger does not drink but it is a gynoecium is incorrect. sent11: the serger scales Esquire if that the Yugoslav is not a drink but a backpack is false. sent12: the Yugoslav does scale Esquire if the tastebud defends. sent13: the fact that the serger is a backpack is correct. sent14: the tastebud does not intrigue naif but it does backpack. sent15: the serger is not a kind of a drink and scales Esquire. sent16: that the serger is a drink and it is a kind of a gynoecium does not hold if the guillotine is a claque. sent17: if the Yugoslav does scale Esquire the guillotine is a kind of a claque. sent18: the fact that the serger does drink and it is a gynoecium is incorrect. ; $proof$ = 
sent6 -> int1: if the tastebud does not intrigue naif and is a backpack it defends.; int1 & sent14 -> int2: the tastebud defends.; int2 & sent12 -> int3: the Yugoslav scales Esquire.; int3 & sent17 -> int4: the guillotine is a kind of a claque.; int4 & sent1 -> int5: the fact that the serger is both not a drink and a gynoecium is not true.; int5 & sent10 -> hypothesis; __PROVED__