the durum is not a Yosemite.
sent1: the durum splats Angel. sent2: the Afrikaner is a humanities. sent3: the Afrikaner is axiomatic. sent4: the durum is a humanities. sent5: if the Afrikaner finishes Norway the ware is a kind of a Sumatran. sent6: there exists something such that it is a kind of a humanities. sent7: something is axiomatic if it does outflank Brady. sent8: The poler does outflank mademoiselle. sent9: there exists something such that it outflanks poler. sent10: if something is axiomatic it is a Yosemite. sent11: the mademoiselle does outflank poler. sent12: the mademoiselle does finish Norway if that the Afrikaner outflanks poler is correct. sent13: the mademoiselle does finish Norway. sent14: the durum outflanks poler if there is something such that it is a kind of a Yosemite that outflanks Brady. sent15: if something does not outflank Brady that it finishes Norway and is a Sumatran is wrong. sent16: the fact that if something is Sumatran then it outflanks Brady is not wrong. sent17: if there is something such that the fact that it is both not an oversight and not axiomatic is not right the Afrikaner does not outflank Brady. sent18: there is something such that that it is not a kind of an oversight and it is not axiomatic is wrong. sent19: the mademoiselle does splat Odoacer. sent20: the durum outflanks Brady if the fact that the ware is a kind of a Sumatran hold. sent21: the mademoiselle is a humanities. sent22: the fact that the durum outflanks poler is not incorrect if the mademoiselle does outflank Brady. sent23: if something that does outflank poler is a humanities then the Afrikaner finishes Norway. sent24: if something does not finish Norway it does not outflank poler and is a humanities.
sent11 & sent21 -> int1: the fact that the mademoiselle does outflank poler and it is a humanities hold.; int1 -> int2: something outflanks poler and it is a humanities.; int2 & sent23 -> int3: the Afrikaner finishes Norway.; int3 & sent5 -> int4: the ware is Sumatran.; int4 & sent20 -> int5: the durum does outflank Brady.; sent7 -> int6: if the durum outflanks Brady then it is axiomatic.; int5 & int6 -> int7: the durum is axiomatic.; sent10 -> int8: the fact that the durum is a Yosemite is correct if it is axiomatic.; int7 & int8 -> hypothesis;
the durum is not a Yosemite.
sent24 -> int9: the mademoiselle does not outflank poler but it is a humanities if it does not finish Norway.;
$hypothesis$ = the durum is not a Yosemite. ; $context$ = sent1: the durum splats Angel. sent2: the Afrikaner is a humanities. sent3: the Afrikaner is axiomatic. sent4: the durum is a humanities. sent5: if the Afrikaner finishes Norway the ware is a kind of a Sumatran. sent6: there exists something such that it is a kind of a humanities. sent7: something is axiomatic if it does outflank Brady. sent8: The poler does outflank mademoiselle. sent9: there exists something such that it outflanks poler. sent10: if something is axiomatic it is a Yosemite. sent11: the mademoiselle does outflank poler. sent12: the mademoiselle does finish Norway if that the Afrikaner outflanks poler is correct. sent13: the mademoiselle does finish Norway. sent14: the durum outflanks poler if there is something such that it is a kind of a Yosemite that outflanks Brady. sent15: if something does not outflank Brady that it finishes Norway and is a Sumatran is wrong. sent16: the fact that if something is Sumatran then it outflanks Brady is not wrong. sent17: if there is something such that the fact that it is both not an oversight and not axiomatic is not right the Afrikaner does not outflank Brady. sent18: there is something such that that it is not a kind of an oversight and it is not axiomatic is wrong. sent19: the mademoiselle does splat Odoacer. sent20: the durum outflanks Brady if the fact that the ware is a kind of a Sumatran hold. sent21: the mademoiselle is a humanities. sent22: the fact that the durum outflanks poler is not incorrect if the mademoiselle does outflank Brady. sent23: if something that does outflank poler is a humanities then the Afrikaner finishes Norway. sent24: if something does not finish Norway it does not outflank poler and is a humanities. ; $proof$ = 
sent11 & sent21 -> int1: the fact that the mademoiselle does outflank poler and it is a humanities hold.; int1 -> int2: something outflanks poler and it is a humanities.; int2 & sent23 -> int3: the Afrikaner finishes Norway.; int3 & sent5 -> int4: the ware is Sumatran.; int4 & sent20 -> int5: the durum does outflank Brady.; sent7 -> int6: if the durum outflanks Brady then it is axiomatic.; int5 & int6 -> int7: the durum is axiomatic.; sent10 -> int8: the fact that the durum is a Yosemite is correct if it is axiomatic.; int7 & int8 -> hypothesis; __DISPROVED__