the howler is not a scale.
sent1: if the statue is anthropic the howler is not a scale. sent2: if the howler is chordal and/or it does not checkmate howler the accommodation scales. sent3: something is anthropic if it is hydrostatic. sent4: that if the accommodation does checkmate howler and/or it is not chordal the statue is hydrostatic hold. sent5: the accommodation either checkmates howler or is not chordal or both. sent6: the howler is anthropic. sent7: the statue is a Durban. sent8: something that is hydrostatic does scale. sent9: the accommodation is hydrostatic if the statue does checkmate howler.
sent4 & sent5 -> int1: the statue is hydrostatic.; sent3 -> int2: the statue is anthropic if the fact that it is not hydrostatic is wrong.; int1 & int2 -> int3: the statue is anthropic.; int3 & sent1 -> hypothesis;
$hypothesis$ = the howler is not a scale. ; $context$ = sent1: if the statue is anthropic the howler is not a scale. sent2: if the howler is chordal and/or it does not checkmate howler the accommodation scales. sent3: something is anthropic if it is hydrostatic. sent4: that if the accommodation does checkmate howler and/or it is not chordal the statue is hydrostatic hold. sent5: the accommodation either checkmates howler or is not chordal or both. sent6: the howler is anthropic. sent7: the statue is a Durban. sent8: something that is hydrostatic does scale. sent9: the accommodation is hydrostatic if the statue does checkmate howler. ; $proof$ = 
sent4 & sent5 -> int1: the statue is hydrostatic.; sent3 -> int2: the statue is anthropic if the fact that it is not hydrostatic is wrong.; int1 & int2 -> int3: the statue is anthropic.; int3 & sent1 -> hypothesis; __PROVED__