the lobe is a kind of a Czestochowa.
sent1: something is not a kind of a Nicaraguan if it is non-basaltic and it is not a kind of a frost. sent2: the pizza does not stable quirt and it is not reversionary. sent3: if the lobe is a bedroll then the fact that the defibrillator is a bedroll is true. sent4: the lobe is a kind of a Czestochowa if the defibrillator is a prokaryote. sent5: if the lobe is not achlorhydric then it does command Hexagrammidae and is a bedroll. sent6: something is a rowdiness or it is not opaque or both if it is a kind of an official. sent7: the lobe is not achlorhydric if the exchanger is considerate and/or it is not achlorhydric. sent8: the pantile is official if the quirt does geyser. sent9: the defibrillator is a prokaryote if there is something such that it does not stable quirt and is not reversionary. sent10: the exchanger is considerate and/or it is not achlorhydric. sent11: the quirt is a geyser. sent12: the defibrillator is opaque if the pantile is a rowdiness. sent13: if the defibrillator is a bedroll and it is not non-opaque then the gluten is not a bedroll. sent14: that the gluten is not basaltic and not a frost is not wrong if that it is nonexistent is true. sent15: something is a prokaryote and is a Czestochowa if it is not a kind of a Nicaraguan. sent16: if the pantile is not opaque then the defibrillator is opaque. sent17: something is nonexistent and does not vouch if it is not a bedroll.
sent2 -> int1: something does not stable quirt and is not reversionary.; int1 & sent9 -> int2: the defibrillator is a prokaryote.; sent4 & int2 -> hypothesis;
the gluten is a kind of a prokaryote.
sent15 -> int3: if the gluten is not Nicaraguan the fact that it is a prokaryote and it is a Czestochowa is true.; sent1 -> int4: the gluten is not Nicaraguan if it is both not basaltic and not a frost.; sent17 -> int5: if the gluten is not a kind of a bedroll then it is nonexistent and it does not vouch.; sent7 & sent10 -> int6: the lobe is not achlorhydric.; sent5 & int6 -> int7: the lobe commands Hexagrammidae and it is a bedroll.; int7 -> int8: the lobe is a bedroll.; sent3 & int8 -> int9: the defibrillator is a bedroll.; sent6 -> int10: if the pantile is official then either it is a kind of a rowdiness or it is not opaque or both.; sent8 & sent11 -> int11: the pantile is an official.; int10 & int11 -> int12: the pantile is a rowdiness and/or it is not opaque.; int12 & sent12 & sent16 -> int13: the defibrillator is opaque.; int9 & int13 -> int14: the defibrillator is a bedroll and is opaque.; sent13 & int14 -> int15: the gluten is not a bedroll.; int5 & int15 -> int16: the fact that the gluten is a kind of nonexistent thing that does not vouch is not wrong.; int16 -> int17: the gluten is nonexistent.; sent14 & int17 -> int18: the gluten is not basaltic and does not frost.; int4 & int18 -> int19: the gluten is not Nicaraguan.; int3 & int19 -> int20: the gluten is both a prokaryote and a Czestochowa.; int20 -> hypothesis;
$hypothesis$ = the lobe is a kind of a Czestochowa. ; $context$ = sent1: something is not a kind of a Nicaraguan if it is non-basaltic and it is not a kind of a frost. sent2: the pizza does not stable quirt and it is not reversionary. sent3: if the lobe is a bedroll then the fact that the defibrillator is a bedroll is true. sent4: the lobe is a kind of a Czestochowa if the defibrillator is a prokaryote. sent5: if the lobe is not achlorhydric then it does command Hexagrammidae and is a bedroll. sent6: something is a rowdiness or it is not opaque or both if it is a kind of an official. sent7: the lobe is not achlorhydric if the exchanger is considerate and/or it is not achlorhydric. sent8: the pantile is official if the quirt does geyser. sent9: the defibrillator is a prokaryote if there is something such that it does not stable quirt and is not reversionary. sent10: the exchanger is considerate and/or it is not achlorhydric. sent11: the quirt is a geyser. sent12: the defibrillator is opaque if the pantile is a rowdiness. sent13: if the defibrillator is a bedroll and it is not non-opaque then the gluten is not a bedroll. sent14: that the gluten is not basaltic and not a frost is not wrong if that it is nonexistent is true. sent15: something is a prokaryote and is a Czestochowa if it is not a kind of a Nicaraguan. sent16: if the pantile is not opaque then the defibrillator is opaque. sent17: something is nonexistent and does not vouch if it is not a bedroll. ; $proof$ = 
sent2 -> int1: something does not stable quirt and is not reversionary.; int1 & sent9 -> int2: the defibrillator is a prokaryote.; sent4 & int2 -> hypothesis; __PROVED__