the sharkskin is not packable.
sent1: if the ganoid is a centipede that the sharkskin is packable hold. sent2: if the queen is a millenary that it is not a Ptilocrinus and does triangulate does not hold. sent3: if the letter quarantines Hanoverian it does read. sent4: the punctum is a kind of a capriole. sent5: the punctum is a SOB. sent6: the ganoid is a verger and/or it is a continuant if there is something such that it is a read. sent7: something quarantines Hanoverian if it is a kind of a Ptilocrinus. sent8: the resolution is a centipede. sent9: something does tell if it is gluttonous. sent10: the elevator is a capriole. sent11: that the queen is a kind of a millenary hold if the fact that it is not a strand and not a millenary does not hold. sent12: if the ganoid is a verger the fact that the punctum is not non-gluttonous is not false. sent13: that the ganoid is a centipede is right if the punctum is a mummery. sent14: the fact that the queen is not a kind of a strand and it is not a millenary is not true. sent15: if the punctum caprioles then it is a mummery. sent16: the letter is a Ptilocrinus if there exists something such that that it is not a Ptilocrinus but triangulate is wrong. sent17: if the punctum is not a centipede then that it does capriole and is not a kind of a mummery is wrong. sent18: that something is a centipede if that it does tell hold is correct. sent19: the ganoid is a capriole. sent20: something that is a kind of a centipede is not a mummery and is a capriole.
sent15 & sent4 -> int1: the punctum is a mummery.; sent13 & int1 -> int2: the ganoid is a kind of a centipede.; sent1 & int2 -> hypothesis;
the fact that the sharkskin is not packable hold.
sent20 -> int3: if the punctum is a centipede it is both not a mummery and a capriole.; sent18 -> int4: if the punctum tells it is a centipede.; sent9 -> int5: if the punctum is gluttonous then it does tell.; sent7 -> int6: the letter quarantines Hanoverian if it is a Ptilocrinus.; sent11 & sent14 -> int7: the queen is a millenary.; sent2 & int7 -> int8: that the queen is not a Ptilocrinus and does triangulate is false.; int8 -> int9: there is something such that that it is not a Ptilocrinus and is triangulate is false.; int9 & sent16 -> int10: the letter is a Ptilocrinus.; int6 & int10 -> int11: the letter does quarantine Hanoverian.; sent3 & int11 -> int12: the letter does read.; int12 -> int13: there exists something such that it is a kind of a read.; int13 & sent6 -> int14: the ganoid is a verger and/or it is a continuant.;
$hypothesis$ = the sharkskin is not packable. ; $context$ = sent1: if the ganoid is a centipede that the sharkskin is packable hold. sent2: if the queen is a millenary that it is not a Ptilocrinus and does triangulate does not hold. sent3: if the letter quarantines Hanoverian it does read. sent4: the punctum is a kind of a capriole. sent5: the punctum is a SOB. sent6: the ganoid is a verger and/or it is a continuant if there is something such that it is a read. sent7: something quarantines Hanoverian if it is a kind of a Ptilocrinus. sent8: the resolution is a centipede. sent9: something does tell if it is gluttonous. sent10: the elevator is a capriole. sent11: that the queen is a kind of a millenary hold if the fact that it is not a strand and not a millenary does not hold. sent12: if the ganoid is a verger the fact that the punctum is not non-gluttonous is not false. sent13: that the ganoid is a centipede is right if the punctum is a mummery. sent14: the fact that the queen is not a kind of a strand and it is not a millenary is not true. sent15: if the punctum caprioles then it is a mummery. sent16: the letter is a Ptilocrinus if there exists something such that that it is not a Ptilocrinus but triangulate is wrong. sent17: if the punctum is not a centipede then that it does capriole and is not a kind of a mummery is wrong. sent18: that something is a centipede if that it does tell hold is correct. sent19: the ganoid is a capriole. sent20: something that is a kind of a centipede is not a mummery and is a capriole. ; $proof$ = 
sent15 & sent4 -> int1: the punctum is a mummery.; sent13 & int1 -> int2: the ganoid is a kind of a centipede.; sent1 & int2 -> hypothesis; __DISPROVED__