the porch is Sadducean and it is a kind of a trampler.
sent1: if something is not a riband then that it does not enfranchise biplane and it leans pimento is wrong. sent2: the way does enfranchise sabra if something that does repine antique is a sadomasochism. sent3: the porch is Sadducean. sent4: that the workboard is not a riband hold. sent5: the porch tramples if the way does enfranchise sabra. sent6: something is not Hegelian if that it does not enfranchise biplane and leans pimento is wrong.
sent1 -> int1: that the workboard does not enfranchise biplane and does lean pimento is not true if it is not a riband.; int1 & sent4 -> int2: the fact that the workboard does not enfranchise biplane and does lean pimento is not correct.; sent6 -> int3: if that the workboard does not enfranchise biplane and leans pimento is wrong then it is not Hegelian.; int2 & int3 -> int4: the workboard is not Hegelian.;
$hypothesis$ = the porch is Sadducean and it is a kind of a trampler. ; $context$ = sent1: if something is not a riband then that it does not enfranchise biplane and it leans pimento is wrong. sent2: the way does enfranchise sabra if something that does repine antique is a sadomasochism. sent3: the porch is Sadducean. sent4: that the workboard is not a riband hold. sent5: the porch tramples if the way does enfranchise sabra. sent6: something is not Hegelian if that it does not enfranchise biplane and leans pimento is wrong. ; $proof$ = 
sent1 -> int1: that the workboard does not enfranchise biplane and does lean pimento is not true if it is not a riband.; int1 & sent4 -> int2: the fact that the workboard does not enfranchise biplane and does lean pimento is not correct.; sent6 -> int3: if that the workboard does not enfranchise biplane and leans pimento is wrong then it is not Hegelian.; int2 & int3 -> int4: the workboard is not Hegelian.; __UNKNOWN__