something is a geyser and uneven.
sent1: if the fact that the hypocrite does not jumble greisen and is not a homespun does not hold the fact that the band does interlock switchman is right. sent2: if something does sheet it is a geyser. sent3: something is a kind of a sheet if it does teleport. sent4: if the apartment is not a kind of a prefiguration and does moralize the obeche is a kind of a patronymic. sent5: the coagulase is a kind of a chanterelle if the obeche is a patronymic. sent6: the fact that the apartment is not a kind of a prefiguration and moralizes hold. sent7: if the fact that something interlocks switchman is not wrong then it teleports. sent8: the band is uneven.
sent4 & sent6 -> int1: the obeche is a patronymic.; int1 & sent5 -> int2: the coagulase is a chanterelle.; sent7 -> int3: the band does teleport if it interlocks switchman.; sent3 -> int4: the band does sheet if it teleports.; sent2 -> int5: the band is a geyser if it is a kind of a sheet.;
$hypothesis$ = something is a geyser and uneven. ; $context$ = sent1: if the fact that the hypocrite does not jumble greisen and is not a homespun does not hold the fact that the band does interlock switchman is right. sent2: if something does sheet it is a geyser. sent3: something is a kind of a sheet if it does teleport. sent4: if the apartment is not a kind of a prefiguration and does moralize the obeche is a kind of a patronymic. sent5: the coagulase is a kind of a chanterelle if the obeche is a patronymic. sent6: the fact that the apartment is not a kind of a prefiguration and moralizes hold. sent7: if the fact that something interlocks switchman is not wrong then it teleports. sent8: the band is uneven. ; $proof$ = 
sent4 & sent6 -> int1: the obeche is a patronymic.; int1 & sent5 -> int2: the coagulase is a chanterelle.; sent7 -> int3: the band does teleport if it interlocks switchman.; sent3 -> int4: the band does sheet if it teleports.; sent2 -> int5: the band is a geyser if it is a kind of a sheet.; __UNKNOWN__