there is something such that if it japans guanaco and it does sensitize Havel it does not sensitize peristyle.
sent1: if the freewheeler does japan guanaco and it does sensitize Havel it does sensitize peristyle. sent2: if the freewheeler japans guanaco and it does sensitize Havel it does not sensitize peristyle. sent3: there is something such that if it japans guanaco and it sensitizes Havel it sensitizes peristyle. sent4: if something does fag and contributes quackgrass then it does not confine.
sent2 -> hypothesis;
there is something such that if it does fag and it contributes quackgrass it does not confine.
sent4 -> int1: if the pussley fags and does contribute quackgrass it does not confine.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it japans guanaco and it does sensitize Havel it does not sensitize peristyle. ; $context$ = sent1: if the freewheeler does japan guanaco and it does sensitize Havel it does sensitize peristyle. sent2: if the freewheeler japans guanaco and it does sensitize Havel it does not sensitize peristyle. sent3: there is something such that if it japans guanaco and it sensitizes Havel it sensitizes peristyle. sent4: if something does fag and contributes quackgrass then it does not confine. ; $proof$ = 
sent2 -> hypothesis; __PROVED__