the Syrian is not actuarial and it is not courteous.
sent1: something ascertains facetiousness if it does not reflectorize Boletellus or is not sudden or both. sent2: if the Syrian ascertains facetiousness then it is not actuarial and it is not courteous. sent3: if something does not reflectorize Boletellus it ascertains facetiousness. sent4: if something is not a kind of a buck then the fact that it is not a kind of an em and it is sudden is not right. sent5: if the Syrian does ascertain facetiousness it is not courteous. sent6: the Syrian does ascertain facetiousness if it does not reflectorize Boletellus. sent7: the Teutonist is not nonenzymatic. sent8: if the Syrian is sudden then the poison is a buck. sent9: the fact that that the Teutonist is a kind of non-actinometric thing that does buck is not false does not hold if the poison is a kind of a buck. sent10: that the Teutonist is actinometric and it is a buck is wrong.
void -> assump1: Let's assume that the Syrian is sudden.; sent8 & assump1 -> int1: the poison is a buck.; int1 & sent9 -> int2: that the Teutonist is not actinometric and is a buck is incorrect.; sent1 -> int3: the Syrian does ascertain facetiousness if it does not reflectorize Boletellus and/or is not sudden.;
the fact that the poison is not an em and is sudden is false.
sent4 -> int4: if the poison is not a buck that it is not an em but sudden is wrong.;
$hypothesis$ = the Syrian is not actuarial and it is not courteous. ; $context$ = sent1: something ascertains facetiousness if it does not reflectorize Boletellus or is not sudden or both. sent2: if the Syrian ascertains facetiousness then it is not actuarial and it is not courteous. sent3: if something does not reflectorize Boletellus it ascertains facetiousness. sent4: if something is not a kind of a buck then the fact that it is not a kind of an em and it is sudden is not right. sent5: if the Syrian does ascertain facetiousness it is not courteous. sent6: the Syrian does ascertain facetiousness if it does not reflectorize Boletellus. sent7: the Teutonist is not nonenzymatic. sent8: if the Syrian is sudden then the poison is a buck. sent9: the fact that that the Teutonist is a kind of non-actinometric thing that does buck is not false does not hold if the poison is a kind of a buck. sent10: that the Teutonist is actinometric and it is a buck is wrong. ; $proof$ = 
void -> assump1: Let's assume that the Syrian is sudden.; sent8 & assump1 -> int1: the poison is a buck.; int1 & sent9 -> int2: that the Teutonist is not actinometric and is a buck is incorrect.; sent1 -> int3: the Syrian does ascertain facetiousness if it does not reflectorize Boletellus and/or is not sudden.; __UNKNOWN__