that the blacksmith is not blackbird is not wrong.
sent1: the resistance is pentatonic but it does not bead pompon. sent2: if there exists something such that that it is not a antipyretic and it is not a hotness is incorrect then the blacksmith is a kind of a tensed. sent3: the fact that the resistance is pentatonic and does not bead pompon does not hold if the crack does sober. sent4: if the resistance does tense then it is a kind of unseamanlike thing that is not pentatonic. sent5: if the ratline is a kind of non-antipyretic thing that is not a hotness the crack sobers. sent6: if the blacksmith tenses it is a blackbird. sent7: the fact that the resistance is pentatonic and it does bead pompon does not hold. sent8: if the crack is not pentatonic then the ratline does not bead pompon and sobers. sent9: that the crack does not sober but it is a kind of a blackbird does not hold. sent10: if something is a kind of a moneran then it is allergic. sent11: if the resistance is a kind of non-seamanlike thing that is not pentatonic then the fact that the crack is not pentatonic is correct.
void -> assump1: Let's assume that the ratline is not a kind of a antipyretic and is not a hotness.; sent5 & assump1 -> int1: the crack is sober.; int1 & sent3 -> int2: the fact that the resistance is pentatonic but it does not bead pompon is false.; int2 & sent1 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the ratline is not antipyretic and not a hotness does not hold.; int4 -> int5: there is something such that the fact that it is non-antipyretic thing that is not a hotness does not hold.; int5 & sent2 -> int6: the blacksmith is a tensed.; int6 & sent6 -> hypothesis;
if the resistance is moneran it is allergic.
sent10 -> hypothesis;
$hypothesis$ = that the blacksmith is not blackbird is not wrong. ; $context$ = sent1: the resistance is pentatonic but it does not bead pompon. sent2: if there exists something such that that it is not a antipyretic and it is not a hotness is incorrect then the blacksmith is a kind of a tensed. sent3: the fact that the resistance is pentatonic and does not bead pompon does not hold if the crack does sober. sent4: if the resistance does tense then it is a kind of unseamanlike thing that is not pentatonic. sent5: if the ratline is a kind of non-antipyretic thing that is not a hotness the crack sobers. sent6: if the blacksmith tenses it is a blackbird. sent7: the fact that the resistance is pentatonic and it does bead pompon does not hold. sent8: if the crack is not pentatonic then the ratline does not bead pompon and sobers. sent9: that the crack does not sober but it is a kind of a blackbird does not hold. sent10: if something is a kind of a moneran then it is allergic. sent11: if the resistance is a kind of non-seamanlike thing that is not pentatonic then the fact that the crack is not pentatonic is correct. ; $proof$ = 
void -> assump1: Let's assume that the ratline is not a kind of a antipyretic and is not a hotness.; sent5 & assump1 -> int1: the crack is sober.; int1 & sent3 -> int2: the fact that the resistance is pentatonic but it does not bead pompon is false.; int2 & sent1 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the ratline is not antipyretic and not a hotness does not hold.; int4 -> int5: there is something such that the fact that it is non-antipyretic thing that is not a hotness does not hold.; int5 & sent2 -> int6: the blacksmith is a tensed.; int6 & sent6 -> hypothesis; __DISPROVED__