the tramline is not a spread or it is a hygrophyte or both.
sent1: if the fact that the fact that the maximum does not astrogate and does not reproduce is wrong is not wrong then it is a Pinter. sent2: if the fact that the antler is not a kind of a Pinter but it is a Beatrice is not true then the maximum is not a Beatrice. sent3: if the maximum does not disabuse shrew that the antler is a wire and is opposite is incorrect. sent4: there exists something such that it is a kind of a magnetron. sent5: if that the bollworm is not a jam is not incorrect the tramline is not a spread and/or it is a hygrophyte. sent6: that the maximum astrogates but it does not reproduce is wrong. sent7: the bollworm is both a Pinter and not a fibrin if the desensitization does not disabuse shrew. sent8: the raceabout is not opposite if there exists something such that that it is a kind of non-abactinal thing that is opposite is not correct. sent9: that the tramline does not spread or it is a hygrophyte or both is not right if the maximum is not a Beatrice. sent10: something does not disabuse shrew if the fact that it does not wire and it does disabuse shrew is not correct. sent11: the cellulosic jams if it is a kind of a wallboard and/or does not overstrain rhododendron. sent12: if something is a kind of a Pinter the fact that it is both a fibrin and not a Beatrice is false. sent13: the antler is a Beatrice. sent14: the cellulosic is a kind of a wallboard and it hands payday if there exists something such that it is a kind of a magnetron. sent15: if the fact that something is a fibrin but not a Beatrice is wrong it does not disabuse shrew. sent16: if there exists something such that it is not opposite then the fact that the desensitization is not a wire and does disabuse shrew is false. sent17: that if that something does disabuse shrew and it is opposite is not true then it does not disabuse shrew is right. sent18: if something is a Beatrice then it does not astrogate. sent19: that the lakeside is not abactinal but it is opposite is not right if the cellulosic jams. sent20: the bollworm is not a kind of a jam if the fact that the fact that the antler is a wire and it is opposite is wrong is right.
sent12 -> int1: that the maximum is a fibrin but it is not a kind of a Beatrice is not correct if it is a Pinter.; sent15 -> int2: the maximum does not disabuse shrew if that it is a fibrin but not a Beatrice is incorrect.;
that that the tramline is not a spread and/or it is a hygrophyte is not incorrect does not hold.
sent10 -> int3: the desensitization does not disabuse shrew if the fact that it is not a wire and does disabuse shrew is not true.; sent4 & sent14 -> int4: the cellulosic is a wallboard and it hands payday.; int4 -> int5: the cellulosic is a wallboard.; int5 -> int6: either the cellulosic is a wallboard or it does not overstrain rhododendron or both.; sent11 & int6 -> int7: the cellulosic is a kind of a jam.; sent19 & int7 -> int8: that the lakeside is non-abactinal thing that is opposite does not hold.; int8 -> int9: there exists something such that that it is not abactinal and it is opposite does not hold.; int9 & sent8 -> int10: the raceabout is not opposite.; int10 -> int11: there exists something such that it is not opposite.; int11 & sent16 -> int12: the fact that the desensitization is not a kind of a wire but it does disabuse shrew is false.; int3 & int12 -> int13: the desensitization does not disabuse shrew.; sent7 & int13 -> int14: the bollworm is a Pinter but it is not a fibrin.; int14 -> int15: the bollworm is a Pinter.; int15 -> int16: there is something such that it is a Pinter.;
$hypothesis$ = the tramline is not a spread or it is a hygrophyte or both. ; $context$ = sent1: if the fact that the fact that the maximum does not astrogate and does not reproduce is wrong is not wrong then it is a Pinter. sent2: if the fact that the antler is not a kind of a Pinter but it is a Beatrice is not true then the maximum is not a Beatrice. sent3: if the maximum does not disabuse shrew that the antler is a wire and is opposite is incorrect. sent4: there exists something such that it is a kind of a magnetron. sent5: if that the bollworm is not a jam is not incorrect the tramline is not a spread and/or it is a hygrophyte. sent6: that the maximum astrogates but it does not reproduce is wrong. sent7: the bollworm is both a Pinter and not a fibrin if the desensitization does not disabuse shrew. sent8: the raceabout is not opposite if there exists something such that that it is a kind of non-abactinal thing that is opposite is not correct. sent9: that the tramline does not spread or it is a hygrophyte or both is not right if the maximum is not a Beatrice. sent10: something does not disabuse shrew if the fact that it does not wire and it does disabuse shrew is not correct. sent11: the cellulosic jams if it is a kind of a wallboard and/or does not overstrain rhododendron. sent12: if something is a kind of a Pinter the fact that it is both a fibrin and not a Beatrice is false. sent13: the antler is a Beatrice. sent14: the cellulosic is a kind of a wallboard and it hands payday if there exists something such that it is a kind of a magnetron. sent15: if the fact that something is a fibrin but not a Beatrice is wrong it does not disabuse shrew. sent16: if there exists something such that it is not opposite then the fact that the desensitization is not a wire and does disabuse shrew is false. sent17: that if that something does disabuse shrew and it is opposite is not true then it does not disabuse shrew is right. sent18: if something is a Beatrice then it does not astrogate. sent19: that the lakeside is not abactinal but it is opposite is not right if the cellulosic jams. sent20: the bollworm is not a kind of a jam if the fact that the fact that the antler is a wire and it is opposite is wrong is right. ; $proof$ = 
sent12 -> int1: that the maximum is a fibrin but it is not a kind of a Beatrice is not correct if it is a Pinter.; sent15 -> int2: the maximum does not disabuse shrew if that it is a fibrin but not a Beatrice is incorrect.; __UNKNOWN__