the steppe does not score.
sent1: that the steppe is a score if the dictostylium is irreducible is not wrong. sent2: if that the gearshift is a kind of a Modigliani but it is not wieldy is not wrong then the clipper is not sturdy. sent3: if the clipper is uncomplimentary then the dictostylium is a marquee. sent4: The ponytail does not believe flax. sent5: the flax does not believe ponytail. sent6: something is uncomplimentary if it is not sturdy. sent7: the gearshift is a kind of a Modigliani and is not wieldy if the flax does not believe ponytail. sent8: if something is a marquee then it is irreducible.
sent7 & sent5 -> int1: the gearshift is both a Modigliani and not wieldy.; int1 & sent2 -> int2: the clipper is not sturdy.; sent6 -> int3: if the clipper is not sturdy then it is uncomplimentary.; int2 & int3 -> int4: the clipper is uncomplimentary.; int4 & sent3 -> int5: the dictostylium is a marquee.; sent8 -> int6: the dictostylium is irreducible if it is a marquee.; int5 & int6 -> int7: the dictostylium is irreducible.; int7 & sent1 -> hypothesis;
$hypothesis$ = the steppe does not score. ; $context$ = sent1: that the steppe is a score if the dictostylium is irreducible is not wrong. sent2: if that the gearshift is a kind of a Modigliani but it is not wieldy is not wrong then the clipper is not sturdy. sent3: if the clipper is uncomplimentary then the dictostylium is a marquee. sent4: The ponytail does not believe flax. sent5: the flax does not believe ponytail. sent6: something is uncomplimentary if it is not sturdy. sent7: the gearshift is a kind of a Modigliani and is not wieldy if the flax does not believe ponytail. sent8: if something is a marquee then it is irreducible. ; $proof$ = 
sent7 & sent5 -> int1: the gearshift is both a Modigliani and not wieldy.; int1 & sent2 -> int2: the clipper is not sturdy.; sent6 -> int3: if the clipper is not sturdy then it is uncomplimentary.; int2 & int3 -> int4: the clipper is uncomplimentary.; int4 & sent3 -> int5: the dictostylium is a marquee.; sent8 -> int6: the dictostylium is irreducible if it is a marquee.; int5 & int6 -> int7: the dictostylium is irreducible.; int7 & sent1 -> hypothesis; __DISPROVED__