the Tobagonian cranks plank.
sent1: if the plaza bed-hops the dueler is not Shuha but it is celiac. sent2: that the dairyman is a kind of non-fermentable thing that is not a kind of a ready-made is incorrect. sent3: the fact that the plaza is not Shuha is not wrong if that the dueler does not blame affrication or is Shuha or both is not true. sent4: there is something such that it is not a triquetral and it is not a opsonization. sent5: the fact that the dueler does not bed-hop and it is not Shuha is incorrect. sent6: if the slip is not Ionic then the dueler is celiac and is a kind of a Titus. sent7: that the escapist does not crank plank is not false. sent8: the fact that the dairyman is fermentable but it is not a ready-made is not true. sent9: if the plaza is non-Shuha then the dairyman does not bed-hop but it is an economist. sent10: the plaza is not celiac and not an economist if it is not Shuha. sent11: if the plaza is not celiac and it is not an economist the dairyman is not an economist. sent12: if the dairyman is fermentable it is a kind of an economist. sent13: if the plaza bed-hops then the dueler is not Shuha. sent14: the dairyman is a kind of an economist if that it is non-fermentable thing that is not ready-made is not true. sent15: the plaza does bed-hop if the dairyman is an economist. sent16: the dueler is not Shuha. sent17: that the Tobagonian does not crank plank and it is not fermentable is not true. sent18: if the dueler is celiac then it is fermentable. sent19: if the dueler is a kind of Shuha thing that is celiac the Tobagonian does crank plank. sent20: if the dairyman is not an economist the alkylbenzenesulfonate does crank plank but it does not bed-hop. sent21: the Tobagonian does crank plank if the dueler is not Shuha and is celiac.
sent14 & sent2 -> int1: the dairyman is an economist.; sent15 & int1 -> int2: the plaza does bed-hop.; sent1 & int2 -> int3: the dueler is not Shuha but it is celiac.; sent21 & int3 -> hypothesis;
the Tobagonian does not crank plank.
$hypothesis$ = the Tobagonian cranks plank. ; $context$ = sent1: if the plaza bed-hops the dueler is not Shuha but it is celiac. sent2: that the dairyman is a kind of non-fermentable thing that is not a kind of a ready-made is incorrect. sent3: the fact that the plaza is not Shuha is not wrong if that the dueler does not blame affrication or is Shuha or both is not true. sent4: there is something such that it is not a triquetral and it is not a opsonization. sent5: the fact that the dueler does not bed-hop and it is not Shuha is incorrect. sent6: if the slip is not Ionic then the dueler is celiac and is a kind of a Titus. sent7: that the escapist does not crank plank is not false. sent8: the fact that the dairyman is fermentable but it is not a ready-made is not true. sent9: if the plaza is non-Shuha then the dairyman does not bed-hop but it is an economist. sent10: the plaza is not celiac and not an economist if it is not Shuha. sent11: if the plaza is not celiac and it is not an economist the dairyman is not an economist. sent12: if the dairyman is fermentable it is a kind of an economist. sent13: if the plaza bed-hops then the dueler is not Shuha. sent14: the dairyman is a kind of an economist if that it is non-fermentable thing that is not ready-made is not true. sent15: the plaza does bed-hop if the dairyman is an economist. sent16: the dueler is not Shuha. sent17: that the Tobagonian does not crank plank and it is not fermentable is not true. sent18: if the dueler is celiac then it is fermentable. sent19: if the dueler is a kind of Shuha thing that is celiac the Tobagonian does crank plank. sent20: if the dairyman is not an economist the alkylbenzenesulfonate does crank plank but it does not bed-hop. sent21: the Tobagonian does crank plank if the dueler is not Shuha and is celiac. ; $proof$ = 
sent14 & sent2 -> int1: the dairyman is an economist.; sent15 & int1 -> int2: the plaza does bed-hop.; sent1 & int2 -> int3: the dueler is not Shuha but it is celiac.; sent21 & int3 -> hypothesis; __PROVED__