the fact that the gooney does jump Elizabethan is true.
sent1: something is not a taipan if it is not multilateral. sent2: if the fact that the algin does voice but it does not provide Apidae is not true then it is a taipan. sent3: the fact that that the algin voices and does not provide Apidae hold is not right. sent4: that the algin does voice and does not jump Elizabethan is not correct. sent5: that if the algin is a taipan then the gooney does jump Elizabethan is true.
sent2 & sent3 -> int1: the algin is a taipan.; sent5 & int1 -> hypothesis;
the gooney does not jump Elizabethan.
sent1 -> int2: the gooney is not a taipan if it is not multilateral.;
$hypothesis$ = the fact that the gooney does jump Elizabethan is true. ; $context$ = sent1: something is not a taipan if it is not multilateral. sent2: if the fact that the algin does voice but it does not provide Apidae is not true then it is a taipan. sent3: the fact that that the algin voices and does not provide Apidae hold is not right. sent4: that the algin does voice and does not jump Elizabethan is not correct. sent5: that if the algin is a taipan then the gooney does jump Elizabethan is true. ; $proof$ = 
sent2 & sent3 -> int1: the algin is a taipan.; sent5 & int1 -> hypothesis; __PROVED__