the igloo is not non-irreplaceable.
sent1: something is irreplaceable if it does not headquarter Amazon. sent2: the igloo does not headquarter Amazon if it does govern dabchick and it does fudge interpolation. sent3: if the nuncio headquarters Amazon the sperm is not irreplaceable and/or does not fudge interpolation. sent4: if the igloo does not govern dabchick but it does fudge interpolation then it does not headquarter Amazon. sent5: the igloo does not govern dabchick and fudges interpolation.
sent1 -> int1: the igloo is irreplaceable if it does not headquarter Amazon.; sent4 & sent5 -> int2: the igloo does not headquarter Amazon.; int1 & int2 -> hypothesis;
the igloo is not irreplaceable.
$hypothesis$ = the igloo is not non-irreplaceable. ; $context$ = sent1: something is irreplaceable if it does not headquarter Amazon. sent2: the igloo does not headquarter Amazon if it does govern dabchick and it does fudge interpolation. sent3: if the nuncio headquarters Amazon the sperm is not irreplaceable and/or does not fudge interpolation. sent4: if the igloo does not govern dabchick but it does fudge interpolation then it does not headquarter Amazon. sent5: the igloo does not govern dabchick and fudges interpolation. ; $proof$ = 
sent1 -> int1: the igloo is irreplaceable if it does not headquarter Amazon.; sent4 & sent5 -> int2: the igloo does not headquarter Amazon.; int1 & int2 -> hypothesis; __PROVED__