the tubocurarine is a fettle.
sent1: if the watercourse is earthy then the fact that the sparker does examine but it is not a kind of a recruitment is wrong. sent2: if the asserter does expand that the nyala muzzles is true. sent3: the outdoorsman is a anxiolytic and/or it is a piroplasm. sent4: there exists something such that it is a recruitment. sent5: if the roadway is positive then the asserter does muzzle. sent6: that the nyala expands but it is not earthy is not correct if the watercourse does not examine. sent7: if there exists something such that it is not a recruitment the watercourse does not examine. sent8: the outdoorsman is a piroplasm if that the nyala expands and is not earthy does not hold. sent9: the outdoorsman is a anxiolytic or is not a piroplasm or both. sent10: the tubocurarine is a kind of a fettle if the asserter is a muzzle. sent11: if the fact that the sparker is a recruitment is not false then the roadway is positive.
void -> assump1: Let's assume that the sparker is not a recruitment.; assump1 -> int1: there is something such that it is not a recruitment.; int1 & sent7 -> int2: the watercourse does not examine.; int2 & sent6 -> int3: that the nyala expands and is not earthy does not hold.; int3 & sent8 -> int4: the outdoorsman is a kind of a piroplasm.;
the sparker is not a fettle.
$hypothesis$ = the tubocurarine is a fettle. ; $context$ = sent1: if the watercourse is earthy then the fact that the sparker does examine but it is not a kind of a recruitment is wrong. sent2: if the asserter does expand that the nyala muzzles is true. sent3: the outdoorsman is a anxiolytic and/or it is a piroplasm. sent4: there exists something such that it is a recruitment. sent5: if the roadway is positive then the asserter does muzzle. sent6: that the nyala expands but it is not earthy is not correct if the watercourse does not examine. sent7: if there exists something such that it is not a recruitment the watercourse does not examine. sent8: the outdoorsman is a piroplasm if that the nyala expands and is not earthy does not hold. sent9: the outdoorsman is a anxiolytic or is not a piroplasm or both. sent10: the tubocurarine is a kind of a fettle if the asserter is a muzzle. sent11: if the fact that the sparker is a recruitment is not false then the roadway is positive. ; $proof$ = 
void -> assump1: Let's assume that the sparker is not a recruitment.; assump1 -> int1: there is something such that it is not a recruitment.; int1 & sent7 -> int2: the watercourse does not examine.; int2 & sent6 -> int3: that the nyala expands and is not earthy does not hold.; int3 & sent8 -> int4: the outdoorsman is a kind of a piroplasm.; __UNKNOWN__