the fact that if that the lumbermill does sicken Hirschfeld is not false the icicle bars hemiplegic is wrong.
sent1: the icicle sickens Hirschfeld if the lumbermill does bar hemiplegic. sent2: that the salesclerk bars hemiplegic hold. sent3: something is a kind of a nitrile if it is a Opposition. sent4: the lumbermill bars Salian if that the icicle does sicken Hirschfeld is true. sent5: if the lumbermill bars hemiplegic then the icicle bars Salian. sent6: the fact that the icicle does bar Salian hold if the lumbermill sickens Hirschfeld. sent7: if something does bar Salian then it bars hemiplegic.
void -> assump1: Let's assume that the lumbermill sickens Hirschfeld.; sent6 & assump1 -> int1: the icicle does bar Salian.; sent7 -> int2: if the icicle bars Salian it does bar hemiplegic.; int1 & int2 -> int3: the icicle does bar hemiplegic.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that if that the lumbermill does sicken Hirschfeld is not false the icicle bars hemiplegic is wrong. ; $context$ = sent1: the icicle sickens Hirschfeld if the lumbermill does bar hemiplegic. sent2: that the salesclerk bars hemiplegic hold. sent3: something is a kind of a nitrile if it is a Opposition. sent4: the lumbermill bars Salian if that the icicle does sicken Hirschfeld is true. sent5: if the lumbermill bars hemiplegic then the icicle bars Salian. sent6: the fact that the icicle does bar Salian hold if the lumbermill sickens Hirschfeld. sent7: if something does bar Salian then it bars hemiplegic. ; $proof$ = 
void -> assump1: Let's assume that the lumbermill sickens Hirschfeld.; sent6 & assump1 -> int1: the icicle does bar Salian.; sent7 -> int2: if the icicle bars Salian it does bar hemiplegic.; int1 & int2 -> int3: the icicle does bar hemiplegic.; [assump1] & int3 -> hypothesis; __DISPROVED__