the fact that the wimple is Stravinskyan hold.
sent1: something is a disclaimer if it skids short. sent2: if something that is not a kind of a western is not vibrionic the rapporteur does oppose. sent3: if something does stagnate it is not a western and not vibrionic. sent4: if something opposes it is a Jurassic. sent5: the alley is non-vibrionic if it does stagnate. sent6: the alley is not a scrub and does stagnate. sent7: the rapporteur does oppose if something that is not a western is vibrionic. sent8: the rapporteur is vibrionic if there is something such that it is not a Jurassic and is not a scrub. sent9: the wimple is Stravinskyan if the rapporteur is a Jurassic.
sent3 -> int1: if the fact that the alley does stagnate is not wrong it is not a western and it is not vibrionic.; sent6 -> int2: the alley does stagnate.; int1 & int2 -> int3: the alley is not a western and it is not vibrionic.; int3 -> int4: there are non-western and non-vibrionic things.; int4 & sent2 -> int5: the rapporteur does oppose.; sent4 -> int6: the rapporteur is a Jurassic if it does oppose.; int5 & int6 -> int7: the rapporteur is a kind of a Jurassic.; int7 & sent9 -> hypothesis;
$hypothesis$ = the fact that the wimple is Stravinskyan hold. ; $context$ = sent1: something is a disclaimer if it skids short. sent2: if something that is not a kind of a western is not vibrionic the rapporteur does oppose. sent3: if something does stagnate it is not a western and not vibrionic. sent4: if something opposes it is a Jurassic. sent5: the alley is non-vibrionic if it does stagnate. sent6: the alley is not a scrub and does stagnate. sent7: the rapporteur does oppose if something that is not a western is vibrionic. sent8: the rapporteur is vibrionic if there is something such that it is not a Jurassic and is not a scrub. sent9: the wimple is Stravinskyan if the rapporteur is a Jurassic. ; $proof$ = 
sent3 -> int1: if the fact that the alley does stagnate is not wrong it is not a western and it is not vibrionic.; sent6 -> int2: the alley does stagnate.; int1 & int2 -> int3: the alley is not a western and it is not vibrionic.; int3 -> int4: there are non-western and non-vibrionic things.; int4 & sent2 -> int5: the rapporteur does oppose.; sent4 -> int6: the rapporteur is a Jurassic if it does oppose.; int5 & int6 -> int7: the rapporteur is a kind of a Jurassic.; int7 & sent9 -> hypothesis; __PROVED__