the psocid is a kind of a rustic but it does not communicate Christ's-thorn.
sent1: if something is not surface that it is a peroneus but not proteinaceous does not hold. sent2: the fact that the psocid is a kind of a surface but it is not dysplastic is wrong if the fact that it does not splay hollow is not false. sent3: something is not sessile and is a surface if it is a bootlegging. sent4: that the plethodont is an incompatibility but it is non-geopolitical is false if it does not communicate Christ's-thorn. sent5: the psocid is not a kind of a surface. sent6: something that is a surface is a rustic and does not communicate Christ's-thorn. sent7: the psocid does not disoblige. sent8: if the psocid is not a kind of a surface that it is a kind of a rustic and communicates Christ's-thorn is not right. sent9: the fact that the psocid is a rustic but it does not communicate Christ's-thorn does not hold if it is not a surface. sent10: everything is not transitional. sent11: the ice-wagon does not bootleg if there is something such that it is not a bootleg and/or it is not a kind of a Pinot. sent12: that something is surface but it is not sessile is not correct if it is not a kind of a bootlegging. sent13: that the gown is a duplication but it is not a rustic does not hold. sent14: something is not a kind of a surface if that it is a surface but not sessile is incorrect. sent15: that the psocid is a kind of a rustic and it does communicate Christ's-thorn is not correct. sent16: if something is not transitional then it is not a bootlegging and/or it is not a Pinot.
sent9 & sent5 -> hypothesis;
the psocid is a rustic but it does not communicate Christ's-thorn.
sent6 -> int1: the psocid is a rustic and does not communicate Christ's-thorn if it is a kind of a surface.; sent3 -> int2: if the psocid bootlegs then it is a kind of non-sessile thing that surfaces.;
$hypothesis$ = the psocid is a kind of a rustic but it does not communicate Christ's-thorn. ; $context$ = sent1: if something is not surface that it is a peroneus but not proteinaceous does not hold. sent2: the fact that the psocid is a kind of a surface but it is not dysplastic is wrong if the fact that it does not splay hollow is not false. sent3: something is not sessile and is a surface if it is a bootlegging. sent4: that the plethodont is an incompatibility but it is non-geopolitical is false if it does not communicate Christ's-thorn. sent5: the psocid is not a kind of a surface. sent6: something that is a surface is a rustic and does not communicate Christ's-thorn. sent7: the psocid does not disoblige. sent8: if the psocid is not a kind of a surface that it is a kind of a rustic and communicates Christ's-thorn is not right. sent9: the fact that the psocid is a rustic but it does not communicate Christ's-thorn does not hold if it is not a surface. sent10: everything is not transitional. sent11: the ice-wagon does not bootleg if there is something such that it is not a bootleg and/or it is not a kind of a Pinot. sent12: that something is surface but it is not sessile is not correct if it is not a kind of a bootlegging. sent13: that the gown is a duplication but it is not a rustic does not hold. sent14: something is not a kind of a surface if that it is a surface but not sessile is incorrect. sent15: that the psocid is a kind of a rustic and it does communicate Christ's-thorn is not correct. sent16: if something is not transitional then it is not a bootlegging and/or it is not a Pinot. ; $proof$ = 
sent9 & sent5 -> hypothesis; __DISPROVED__