the viceroy is not a factorial and/or is a kind of a Lubumbashi.
sent1: everything is a rocket and it does not unbutton Tristan. sent2: the ferryman does not unbutton Tristan. sent3: if something is a rocket that does not unbutton Tristan it is not non-factorial. sent4: the coreligionist does rocket. sent5: if the ferryman is factorial then that the viceroy is not factorial and/or it is a Lubumbashi is not correct. sent6: the viceroy is a macaroon. sent7: if something does rocket and it unbuttons Tristan then it is a kind of a factorial.
sent3 -> int1: the ferryman is a factorial if it does rocket and it does not unbutton Tristan.; sent1 -> int2: the ferryman does rocket but it does not unbutton Tristan.; int1 & int2 -> int3: the ferryman is factorial.; int3 & sent5 -> hypothesis;
$hypothesis$ = the viceroy is not a factorial and/or is a kind of a Lubumbashi. ; $context$ = sent1: everything is a rocket and it does not unbutton Tristan. sent2: the ferryman does not unbutton Tristan. sent3: if something is a rocket that does not unbutton Tristan it is not non-factorial. sent4: the coreligionist does rocket. sent5: if the ferryman is factorial then that the viceroy is not factorial and/or it is a Lubumbashi is not correct. sent6: the viceroy is a macaroon. sent7: if something does rocket and it unbuttons Tristan then it is a kind of a factorial. ; $proof$ = 
sent3 -> int1: the ferryman is a factorial if it does rocket and it does not unbutton Tristan.; sent1 -> int2: the ferryman does rocket but it does not unbutton Tristan.; int1 & int2 -> int3: the ferryman is factorial.; int3 & sent5 -> hypothesis; __DISPROVED__