the fact that the starches does scourge breach and forces Olympus does not hold.
sent1: if there are choral and dogmatic things the starches does scourge breach. sent2: there is something such that it forces Olympus and it is dogmatic. sent3: the areola is dogmatic. sent4: the Germanist is a portraitist. sent5: the starches is a waters. sent6: the starches does etiolate. sent7: that the starches does force Olympus if the starches does etiolate is right. sent8: if the Germanist is a kind of a portraitist then the areola is choral.
sent8 & sent4 -> int1: the areola is choral.; int1 & sent3 -> int2: the areola is choral and it is dogmatic.; int2 -> int3: something is choral and is dogmatic.; int3 & sent1 -> int4: the starches scourges breach.; sent7 & sent6 -> int5: the starches forces Olympus.; int4 & int5 -> hypothesis;
$hypothesis$ = the fact that the starches does scourge breach and forces Olympus does not hold. ; $context$ = sent1: if there are choral and dogmatic things the starches does scourge breach. sent2: there is something such that it forces Olympus and it is dogmatic. sent3: the areola is dogmatic. sent4: the Germanist is a portraitist. sent5: the starches is a waters. sent6: the starches does etiolate. sent7: that the starches does force Olympus if the starches does etiolate is right. sent8: if the Germanist is a kind of a portraitist then the areola is choral. ; $proof$ = 
sent8 & sent4 -> int1: the areola is choral.; int1 & sent3 -> int2: the areola is choral and it is dogmatic.; int2 -> int3: something is choral and is dogmatic.; int3 & sent1 -> int4: the starches scourges breach.; sent7 & sent6 -> int5: the starches forces Olympus.; int4 & int5 -> hypothesis; __DISPROVED__