the chela is not a kind of a bayonet.
sent1: everything is non-extrasystolic. sent2: if the gadgeteer does not contemplate lanolin then it does cycle. sent3: there exists nothing that is extrasystolic and/or does not ash Odoacer. sent4: the gadgeteer does not contemplate lanolin if the fact that either it is extrasystolic or it does not ash Odoacer or both is not true. sent5: the gadgeteer is a kind of a cycling that is not a smear if it does not contemplate lanolin.
sent3 -> int1: the fact that the gadgeteer is extrasystolic and/or it does not ash Odoacer is not true.; int1 & sent4 -> int2: the gadgeteer does not contemplate lanolin.; int2 & sent5 -> int3: the gadgeteer is a kind of a cycling and is not a smear.;
$hypothesis$ = the chela is not a kind of a bayonet. ; $context$ = sent1: everything is non-extrasystolic. sent2: if the gadgeteer does not contemplate lanolin then it does cycle. sent3: there exists nothing that is extrasystolic and/or does not ash Odoacer. sent4: the gadgeteer does not contemplate lanolin if the fact that either it is extrasystolic or it does not ash Odoacer or both is not true. sent5: the gadgeteer is a kind of a cycling that is not a smear if it does not contemplate lanolin. ; $proof$ = 
sent3 -> int1: the fact that the gadgeteer is extrasystolic and/or it does not ash Odoacer is not true.; int1 & sent4 -> int2: the gadgeteer does not contemplate lanolin.; int2 & sent5 -> int3: the gadgeteer is a kind of a cycling and is not a smear.; __UNKNOWN__