the skeptic is not a babirusa.
sent1: the skeptic is not a vertebra. sent2: something that is not a vertebra and does not bet is not a babirusa. sent3: if the skeptic is not a go it is not a kind of a vertebra and it is not a bettong. sent4: if the fact that the skeptic is not a go hold then it is not a kind of a vertebra. sent5: the skeptic is not a go.
sent3 & sent5 -> int1: the skeptic is not a vertebra and it is not a bettong.; sent2 -> int2: the skeptic is not a kind of a babirusa if it is not a vertebra and it is not a bettong.; int1 & int2 -> hypothesis;
$hypothesis$ = the skeptic is not a babirusa. ; $context$ = sent1: the skeptic is not a vertebra. sent2: something that is not a vertebra and does not bet is not a babirusa. sent3: if the skeptic is not a go it is not a kind of a vertebra and it is not a bettong. sent4: if the fact that the skeptic is not a go hold then it is not a kind of a vertebra. sent5: the skeptic is not a go. ; $proof$ = 
sent3 & sent5 -> int1: the skeptic is not a vertebra and it is not a bettong.; sent2 -> int2: the skeptic is not a kind of a babirusa if it is not a vertebra and it is not a bettong.; int1 & int2 -> hypothesis; __PROVED__