the polyurethane does not fit and it is not rimless.
sent1: something is a triphosphopyridine if it is environmental. sent2: the fact that something is unfit and not rimless is incorrect if it is not filar. sent3: if that the elegist staggers coreligionist is right then the Beguine does stagger Tandy and does not bar Eschscholtzia. sent4: the abiogenist does not bar authenticity. sent5: if either the polyurethane is not filar or it fits or both the cursor is not a horseradish. sent6: if the fact that that something is non-filar thing that does not bar authenticity is right is not true it is not rimless. sent7: the polyurethane is not rimless and does not bar authenticity if the Beguine does not bar authenticity. sent8: the Nebuchadnezzar is both not a Rottweiler and not exponential. sent9: if the Beguine is not rimless the fact that the polyurethane is not rimless is true. sent10: something is not rimless if it bars authenticity. sent11: if the Beguine staggers Tandy and does not bar Eschscholtzia then it is environmental. sent12: that the Beguine is a kind of non-filar thing that bars authenticity does not hold. sent13: the polyurethane is not rimless. sent14: the elegist staggers coreligionist. sent15: the polyurethane is not fit and is not rimless if the fact that the Beguine is not rimless hold. sent16: if that something does not bar authenticity and is not fit is incorrect then it is not rimless.
void -> assump1: Let's assume that the Beguine is not filar and does not bar authenticity.; assump1 -> int1: the Beguine is not filar.; sent6 -> int2: the Beguine is not rimless if the fact that it is non-filar thing that does not bar authenticity does not hold.;
the cursor is not a horseradish and it is not rimless.
$hypothesis$ = the polyurethane does not fit and it is not rimless. ; $context$ = sent1: something is a triphosphopyridine if it is environmental. sent2: the fact that something is unfit and not rimless is incorrect if it is not filar. sent3: if that the elegist staggers coreligionist is right then the Beguine does stagger Tandy and does not bar Eschscholtzia. sent4: the abiogenist does not bar authenticity. sent5: if either the polyurethane is not filar or it fits or both the cursor is not a horseradish. sent6: if the fact that that something is non-filar thing that does not bar authenticity is right is not true it is not rimless. sent7: the polyurethane is not rimless and does not bar authenticity if the Beguine does not bar authenticity. sent8: the Nebuchadnezzar is both not a Rottweiler and not exponential. sent9: if the Beguine is not rimless the fact that the polyurethane is not rimless is true. sent10: something is not rimless if it bars authenticity. sent11: if the Beguine staggers Tandy and does not bar Eschscholtzia then it is environmental. sent12: that the Beguine is a kind of non-filar thing that bars authenticity does not hold. sent13: the polyurethane is not rimless. sent14: the elegist staggers coreligionist. sent15: the polyurethane is not fit and is not rimless if the fact that the Beguine is not rimless hold. sent16: if that something does not bar authenticity and is not fit is incorrect then it is not rimless. ; $proof$ = 
void -> assump1: Let's assume that the Beguine is not filar and does not bar authenticity.; assump1 -> int1: the Beguine is not filar.; sent6 -> int2: the Beguine is not rimless if the fact that it is non-filar thing that does not bar authenticity does not hold.; __UNKNOWN__