the triumvir is not psychomotor.
sent1: if the prankster does respect interference that the triumvir is not a hummer and it is not plumbic is not wrong. sent2: if something is not a hummer and it is not plumbic it is not a hiccup. sent3: the prankster does respect interference. sent4: the prankster is psychomotor. sent5: if the interference is not a kind of a horniness and it does not respect paleobiology then it is not a horsefly. sent6: if something is not a hiccup it is both not a panicle and not non-psychomotor. sent7: if the triumvir is not a hiccup then it is not a panicle. sent8: the triumvir is not a panicle. sent9: something that is a hummer but not plumbic is not a hiccup. sent10: The interference does respect prankster. sent11: the triumvir is not a hummer. sent12: if the triumvir is a hummer and not plumbic then it does not hiccup. sent13: the triumvir is not a panicle and it does not respect interference.
sent1 & sent3 -> int1: the triumvir is not a hummer and not plumbic.; sent2 -> int2: if the triumvir is not a hummer and not plumbic that it is not a kind of a hiccup is not wrong.; int1 & int2 -> int3: the triumvir is not a hiccup.; sent6 -> int4: if the triumvir does not hiccup then it is not a panicle and it is psychomotor.; int3 & int4 -> int5: the triumvir is not a kind of a panicle but it is psychomotor.; int5 -> hypothesis;
$hypothesis$ = the triumvir is not psychomotor. ; $context$ = sent1: if the prankster does respect interference that the triumvir is not a hummer and it is not plumbic is not wrong. sent2: if something is not a hummer and it is not plumbic it is not a hiccup. sent3: the prankster does respect interference. sent4: the prankster is psychomotor. sent5: if the interference is not a kind of a horniness and it does not respect paleobiology then it is not a horsefly. sent6: if something is not a hiccup it is both not a panicle and not non-psychomotor. sent7: if the triumvir is not a hiccup then it is not a panicle. sent8: the triumvir is not a panicle. sent9: something that is a hummer but not plumbic is not a hiccup. sent10: The interference does respect prankster. sent11: the triumvir is not a hummer. sent12: if the triumvir is a hummer and not plumbic then it does not hiccup. sent13: the triumvir is not a panicle and it does not respect interference. ; $proof$ = 
sent1 & sent3 -> int1: the triumvir is not a hummer and not plumbic.; sent2 -> int2: if the triumvir is not a hummer and not plumbic that it is not a kind of a hiccup is not wrong.; int1 & int2 -> int3: the triumvir is not a hiccup.; sent6 -> int4: if the triumvir does not hiccup then it is not a panicle and it is psychomotor.; int3 & int4 -> int5: the triumvir is not a kind of a panicle but it is psychomotor.; int5 -> hypothesis; __DISPROVED__