the macadam either is a Buxus or is a posseman or both.
sent1: the Malaysian is tannic and is not a flicker. sent2: the macadam is a IRS. sent3: the macadam is a IRS but it is not gravitational. sent4: if something is not a fork that it is either a Buxus or a posseman or both is not true. sent5: if the macadam is a posseman the conversationalist is a posseman. sent6: the macadam is a Buxus if it is a IRS and it is not gravitational. sent7: the mesothelium is a kind of a Corydalus if that the prednisone is a seidel and is not a bullion is wrong. sent8: if the fact that something is a posseman is true then it is a IRS.
sent6 & sent3 -> int1: the macadam is a Buxus.; int1 -> hypothesis;
the fact that the conversationalist is a IRS is true.
sent8 -> int2: the conversationalist is a IRS if it is a posseman.;
$hypothesis$ = the macadam either is a Buxus or is a posseman or both. ; $context$ = sent1: the Malaysian is tannic and is not a flicker. sent2: the macadam is a IRS. sent3: the macadam is a IRS but it is not gravitational. sent4: if something is not a fork that it is either a Buxus or a posseman or both is not true. sent5: if the macadam is a posseman the conversationalist is a posseman. sent6: the macadam is a Buxus if it is a IRS and it is not gravitational. sent7: the mesothelium is a kind of a Corydalus if that the prednisone is a seidel and is not a bullion is wrong. sent8: if the fact that something is a posseman is true then it is a IRS. ; $proof$ = 
sent6 & sent3 -> int1: the macadam is a Buxus.; int1 -> hypothesis; __PROVED__