the peacock-throne is not a keeshond and it is not a kind of a Cephalobidae.
sent1: the catcher is a kind of a keeshond. sent2: the peacock-throne is not a keeshond and is not a kind of a Cephalobidae if the perfluorocarbon is a kind of a Cephalobidae. sent3: something does not acquaint confabulation but it does acquaint polymerization. sent4: if something is a kind of a Setubal and/or it is a kind of a Stenotus then it is not a Seth. sent5: the fact that if something does not acquaint confabulation but it acquaints polymerization then the lymph is vestiary hold. sent6: if something is not a kind of a Seth then that it is not a keeshond and it is not a Cephalobidae is not true. sent7: the perfluorocarbon is a Cephalobidae and it is a Seth.
sent7 -> int1: the perfluorocarbon is a Cephalobidae.; sent2 & int1 -> hypothesis;
that the peacock-throne is not a keeshond and it is not a kind of a Cephalobidae is not true.
sent6 -> int2: if the peacock-throne is not a Seth the fact that it is not a keeshond and it is not a Cephalobidae is not correct.; sent4 -> int3: if either the peacock-throne is a Setubal or it is a Stenotus or both then it is not a Seth.; sent3 & sent5 -> int4: the lymph is vestiary.; int4 -> int5: something is vestiary.;
$hypothesis$ = the peacock-throne is not a keeshond and it is not a kind of a Cephalobidae. ; $context$ = sent1: the catcher is a kind of a keeshond. sent2: the peacock-throne is not a keeshond and is not a kind of a Cephalobidae if the perfluorocarbon is a kind of a Cephalobidae. sent3: something does not acquaint confabulation but it does acquaint polymerization. sent4: if something is a kind of a Setubal and/or it is a kind of a Stenotus then it is not a Seth. sent5: the fact that if something does not acquaint confabulation but it acquaints polymerization then the lymph is vestiary hold. sent6: if something is not a kind of a Seth then that it is not a keeshond and it is not a Cephalobidae is not true. sent7: the perfluorocarbon is a Cephalobidae and it is a Seth. ; $proof$ = 
sent7 -> int1: the perfluorocarbon is a Cephalobidae.; sent2 & int1 -> hypothesis; __PROVED__