the flume does not trisect Antoninus.
sent1: if there is something such that it does negotiate clothespress then that the filth is not pistillate and does not trisect CBR is false. sent2: if there is something such that it does not soldier lek then the axolotl does negotiate clothespress. sent3: if the apprentice negotiates dyschezia then it is a kind of a microscope. sent4: the clapperboard is pistillate if there is something such that that it is a kind of pistillate thing that does not trisect CBR is not true. sent5: the watercannon is not a breeze if the apprentice is not a Soma but it is a kind of a microscope. sent6: if the jar is pistillate it is not dorsal and it is not immodest. sent7: if that the amide is a breeze and it negotiates classroom is wrong the dietician does not soldier lek. sent8: the fact that that the flume is non-accommodative and a ranch is not correct is not wrong. sent9: if there is something such that it is not a breeze the fact that the amide breeze and it negotiates classroom does not hold. sent10: if the fact that the flume is not accommodative and does not ranch is wrong then it is immodest. sent11: if something is immodest then that it trisects Antoninus hold. sent12: the jar is pistillate if the clapperboard is pistillate. sent13: the apprentice does negotiate dyschezia. sent14: that the flume is a kind of non-accommodative thing that does not ranch is not right. sent15: the apprentice is not a Soma.
sent10 & sent14 -> int1: the flume is immodest.; sent11 -> int2: the fact that the flume does trisect Antoninus is true if that it is immodest is not false.; int1 & int2 -> hypothesis;
the flume does not trisect Antoninus.
sent3 & sent13 -> int3: the apprentice is a microscope.; sent15 & int3 -> int4: the apprentice is not a Soma but it is a microscope.; sent5 & int4 -> int5: the watercannon is not a kind of a breeze.; int5 -> int6: there is something such that it is not a kind of a breeze.; int6 & sent9 -> int7: that the amide is a breeze that does negotiate classroom is wrong.; sent7 & int7 -> int8: the dietician does not soldier lek.; int8 -> int9: there is something such that it does not soldier lek.; int9 & sent2 -> int10: the axolotl negotiates clothespress.; int10 -> int11: there exists something such that it negotiates clothespress.; int11 & sent1 -> int12: that the filth is not pistillate and does not trisect CBR is not right.; int12 -> int13: there exists something such that the fact that it is not pistillate and does not trisect CBR is false.; int13 & sent4 -> int14: the clapperboard is pistillate.; sent12 & int14 -> int15: the jar is pistillate.; sent6 & int15 -> int16: the jar is not dorsal and is not immodest.; int16 -> int17: something is not dorsal and it is not immodest.;
$hypothesis$ = the flume does not trisect Antoninus. ; $context$ = sent1: if there is something such that it does negotiate clothespress then that the filth is not pistillate and does not trisect CBR is false. sent2: if there is something such that it does not soldier lek then the axolotl does negotiate clothespress. sent3: if the apprentice negotiates dyschezia then it is a kind of a microscope. sent4: the clapperboard is pistillate if there is something such that that it is a kind of pistillate thing that does not trisect CBR is not true. sent5: the watercannon is not a breeze if the apprentice is not a Soma but it is a kind of a microscope. sent6: if the jar is pistillate it is not dorsal and it is not immodest. sent7: if that the amide is a breeze and it negotiates classroom is wrong the dietician does not soldier lek. sent8: the fact that that the flume is non-accommodative and a ranch is not correct is not wrong. sent9: if there is something such that it is not a breeze the fact that the amide breeze and it negotiates classroom does not hold. sent10: if the fact that the flume is not accommodative and does not ranch is wrong then it is immodest. sent11: if something is immodest then that it trisects Antoninus hold. sent12: the jar is pistillate if the clapperboard is pistillate. sent13: the apprentice does negotiate dyschezia. sent14: that the flume is a kind of non-accommodative thing that does not ranch is not right. sent15: the apprentice is not a Soma. ; $proof$ = 
sent10 & sent14 -> int1: the flume is immodest.; sent11 -> int2: the fact that the flume does trisect Antoninus is true if that it is immodest is not false.; int1 & int2 -> hypothesis; __DISPROVED__