the bottomland is not a scheme.
sent1: something is not Gallic if that it is Gallic and it does not bone left-handedness is incorrect. sent2: something is unsuccessful. sent3: that the autophyte does not decompress is not false. sent4: the autophyte is not unsuccessful if the chambray walks bottomland and it firebombs brownie. sent5: the fact that the chambray gleams is true. sent6: if the chambray does firebomb brownie then it is not non-Gallic. sent7: the Jay is a kind of a gleam if the chambray is Gallic. sent8: there is something such that the fact that it decompresses is not false. sent9: the chambray firebombs brownie if the autophyte does not walk bottomland. sent10: if the autophyte is unsuccessful the chambray does walk bottomland. sent11: if the autophyte is unsuccessful then the chambray firebombs brownie. sent12: there is something such that it does firebomb brownie. sent13: if the Jay is a gleam the bottomland does scheme. sent14: the chambray walks bottomland and it firebombs brownie if the Jay is not Gallic. sent15: if something does decompress the autophyte is unsuccessful and/or it does not walk bottomland. sent16: the bottomland does firebomb carfare. sent17: the autophyte gleams if the Jay is not unsuccessful. sent18: the balk does gleam. sent19: there is something such that it does gleam.
sent8 & sent15 -> int1: the autophyte either is unsuccessful or does not walk bottomland or both.; int1 & sent11 & sent9 -> int2: the chambray does firebomb brownie.; int2 & sent6 -> int3: the chambray is Gallic.; int3 & sent7 -> int4: the Jay is a kind of a gleam.; int4 & sent13 -> hypothesis;
the bottomland does not scheme.
sent1 -> int5: if that the Jay is Gallic but it does not bone left-handedness is not true then it is not Gallic.;
$hypothesis$ = the bottomland is not a scheme. ; $context$ = sent1: something is not Gallic if that it is Gallic and it does not bone left-handedness is incorrect. sent2: something is unsuccessful. sent3: that the autophyte does not decompress is not false. sent4: the autophyte is not unsuccessful if the chambray walks bottomland and it firebombs brownie. sent5: the fact that the chambray gleams is true. sent6: if the chambray does firebomb brownie then it is not non-Gallic. sent7: the Jay is a kind of a gleam if the chambray is Gallic. sent8: there is something such that the fact that it decompresses is not false. sent9: the chambray firebombs brownie if the autophyte does not walk bottomland. sent10: if the autophyte is unsuccessful the chambray does walk bottomland. sent11: if the autophyte is unsuccessful then the chambray firebombs brownie. sent12: there is something such that it does firebomb brownie. sent13: if the Jay is a gleam the bottomland does scheme. sent14: the chambray walks bottomland and it firebombs brownie if the Jay is not Gallic. sent15: if something does decompress the autophyte is unsuccessful and/or it does not walk bottomland. sent16: the bottomland does firebomb carfare. sent17: the autophyte gleams if the Jay is not unsuccessful. sent18: the balk does gleam. sent19: there is something such that it does gleam. ; $proof$ = 
sent8 & sent15 -> int1: the autophyte either is unsuccessful or does not walk bottomland or both.; int1 & sent11 & sent9 -> int2: the chambray does firebomb brownie.; int2 & sent6 -> int3: the chambray is Gallic.; int3 & sent7 -> int4: the Jay is a kind of a gleam.; int4 & sent13 -> hypothesis; __DISPROVED__