the padrone is a badminton.
sent1: if something jellifies Simenon it is a badminton. sent2: the padrone does jellify Simenon if either the sclerotium does not pronate or it is not convex or both. sent3: something that is not a kind of a garnierite jellifies Simenon and is a badminton. sent4: the sclerotium does not pronate and/or it is not convex.
sent2 & sent4 -> int1: the padrone does jellify Simenon.; sent1 -> int2: the padrone is a badminton if it does jellify Simenon.; int1 & int2 -> hypothesis;
the sclerotium does jellify Simenon.
sent3 -> int3: if the sclerotium is not a kind of a garnierite then it jellifies Simenon and it is a kind of a badminton.;
$hypothesis$ = the padrone is a badminton. ; $context$ = sent1: if something jellifies Simenon it is a badminton. sent2: the padrone does jellify Simenon if either the sclerotium does not pronate or it is not convex or both. sent3: something that is not a kind of a garnierite jellifies Simenon and is a badminton. sent4: the sclerotium does not pronate and/or it is not convex. ; $proof$ = 
sent2 & sent4 -> int1: the padrone does jellify Simenon.; sent1 -> int2: the padrone is a badminton if it does jellify Simenon.; int1 & int2 -> hypothesis; __PROVED__