the nullah is not a kind of a rigging.
sent1: the caboose is not stylish and is not univalent. sent2: the fact that the fact that the Frisbee is not a Scribe but it is nosocomial is not incorrect is not correct. sent3: if the fact that the Frisbee is not a kind of a Scribe but it is nosocomial is wrong then the fungus is malign. sent4: the nullah is non-nervous thing that is univalent. sent5: if the nullah is not nervous but univalent then that it is a kind of a ringlet is true. sent6: the nullah rigs if the fungus is malign. sent7: something is malign and it is a kind of a rigging if it does not caddie. sent8: the fungus is a kind of non-mononuclear thing that is not a ringlet if something is not nervous. sent9: the spillway is a rigging if the Frisbee rigging. sent10: the bacchanal is malign. sent11: if there exists something such that it is not univalent the fact that the sequestration is nervous and is univalent is false. sent12: if the fungus is not mononuclear the fact that the Frisbee is non-malign a caddie is not true. sent13: the sequestration is not nervous if that it is nervous thing that is univalent does not hold. sent14: the fungus is malign if the Frisbee is a Scribe. sent15: the nullah is malign. sent16: the fact that the fungus is not mononuclear if the nullah is a ringlet is not incorrect. sent17: the fact that the Frisbee is a Scribe and nosocomial is incorrect.
sent3 & sent2 -> int1: the fact that the fungus is malign is not false.; sent6 & int1 -> hypothesis;
the nullah is not a rigging.
sent1 -> int2: the caboose is not univalent.; int2 -> int3: there is something such that it is not univalent.; int3 & sent11 -> int4: that the sequestration is nervous and it is univalent does not hold.; sent13 & int4 -> int5: the fact that the sequestration is not nervous is right.; int5 -> int6: there is something such that it is non-nervous.; int6 & sent8 -> int7: the fungus is not mononuclear and it is not a ringlet.; int7 -> int8: that the fungus is not mononuclear is correct.; sent12 & int8 -> int9: that that the Frisbee is both not malign and a caddie does not hold hold.; int9 -> int10: there is something such that that it is both not malign and a caddie is not true.;
$hypothesis$ = the nullah is not a kind of a rigging. ; $context$ = sent1: the caboose is not stylish and is not univalent. sent2: the fact that the fact that the Frisbee is not a Scribe but it is nosocomial is not incorrect is not correct. sent3: if the fact that the Frisbee is not a kind of a Scribe but it is nosocomial is wrong then the fungus is malign. sent4: the nullah is non-nervous thing that is univalent. sent5: if the nullah is not nervous but univalent then that it is a kind of a ringlet is true. sent6: the nullah rigs if the fungus is malign. sent7: something is malign and it is a kind of a rigging if it does not caddie. sent8: the fungus is a kind of non-mononuclear thing that is not a ringlet if something is not nervous. sent9: the spillway is a rigging if the Frisbee rigging. sent10: the bacchanal is malign. sent11: if there exists something such that it is not univalent the fact that the sequestration is nervous and is univalent is false. sent12: if the fungus is not mononuclear the fact that the Frisbee is non-malign a caddie is not true. sent13: the sequestration is not nervous if that it is nervous thing that is univalent does not hold. sent14: the fungus is malign if the Frisbee is a Scribe. sent15: the nullah is malign. sent16: the fact that the fungus is not mononuclear if the nullah is a ringlet is not incorrect. sent17: the fact that the Frisbee is a Scribe and nosocomial is incorrect. ; $proof$ = 
sent3 & sent2 -> int1: the fact that the fungus is malign is not false.; sent6 & int1 -> hypothesis; __DISPROVED__