there is something such that if either it is not nonmetallic or it is not a kind of a drivel or both it is not a fipple.
sent1: the Portuguese is a kind of a fipple if it is metallic or is not a drivel or both. sent2: there exists something such that if it is not a drivel it is not a fipple. sent3: there exists something such that if it either is a metallic or is a drivel or both it is not a fipple. sent4: the Portuguese is not a fipple if it either is a kind of a metallic or is not a drivel or both. sent5: if something is an attribute and/or it is not a Bulgarian it does not criticize Cyperus. sent6: if the Portuguese is a kind of a metallic and/or it drivels then the fact that it is not a fipple is not false.
sent4 -> hypothesis;
there is something such that if it is an attribute and/or not a Bulgarian the fact that it does not criticize Cyperus is true.
sent5 -> int1: the Evangelist does not criticize Cyperus if it is a kind of an attribute and/or it is not a kind of a Bulgarian.; int1 -> hypothesis;
$hypothesis$ = there is something such that if either it is not nonmetallic or it is not a kind of a drivel or both it is not a fipple. ; $context$ = sent1: the Portuguese is a kind of a fipple if it is metallic or is not a drivel or both. sent2: there exists something such that if it is not a drivel it is not a fipple. sent3: there exists something such that if it either is a metallic or is a drivel or both it is not a fipple. sent4: the Portuguese is not a fipple if it either is a kind of a metallic or is not a drivel or both. sent5: if something is an attribute and/or it is not a Bulgarian it does not criticize Cyperus. sent6: if the Portuguese is a kind of a metallic and/or it drivels then the fact that it is not a fipple is not false. ; $proof$ = 
sent4 -> hypothesis; __PROVED__