the alga does not gauge skidder and it does not overawe suffocation.
sent1: the alga is campylotropous. sent2: the willowware gauges skidder. sent3: if the alga is not non-campylotropous it is a cliffhanger. sent4: if something is a cliffhanger then the fact that it does not gauge skidder and it does not overawe suffocation is wrong. sent5: if something does tag permafrost that it is not a kind of a nylons and does not overawe Hassam does not hold.
sent4 -> int1: if the alga is a cliffhanger the fact that it does not gauge skidder and does not overawe suffocation does not hold.; sent3 & sent1 -> int2: the alga is a cliffhanger.; int1 & int2 -> hypothesis;
if the fumigant does tag permafrost the fact that it is not a nylons and it does not overawe Hassam does not hold.
sent5 -> hypothesis;
$hypothesis$ = the alga does not gauge skidder and it does not overawe suffocation. ; $context$ = sent1: the alga is campylotropous. sent2: the willowware gauges skidder. sent3: if the alga is not non-campylotropous it is a cliffhanger. sent4: if something is a cliffhanger then the fact that it does not gauge skidder and it does not overawe suffocation is wrong. sent5: if something does tag permafrost that it is not a kind of a nylons and does not overawe Hassam does not hold. ; $proof$ = 
sent4 -> int1: if the alga is a cliffhanger the fact that it does not gauge skidder and does not overawe suffocation does not hold.; sent3 & sent1 -> int2: the alga is a cliffhanger.; int1 & int2 -> hypothesis; __DISPROVED__