that the barterer is unclean but it does not bestir desuetude is true.
sent1: the sporozoite is a kind of diocesan thing that is not unclean if the piezoelectricity is not a diocesan. sent2: the fact that the sporozoite is not unclean if there is something such that it is diocesan and/or it bestirs desuetude is not false. sent3: there is something such that it is unclean and/or it does multiply. sent4: something either is a kind of a diocesan or is unclean or both. sent5: the sporozoite is a diocesan. sent6: the sporozoite is not a Sonora. sent7: if the fact that something multiplies and/or it does slave trapper is right then the piezoelectricity is not unclean. sent8: the barterer is unclean. sent9: everything does not multiply. sent10: if the cousin is a kind of a diocesan the sporozoite does slave trapper. sent11: if something does multiply it is not a diocesan and it does not slave trapper. sent12: the piezoelectricity is not unclean if there is something such that it multiplies. sent13: the cousin does slave trapper if the sporozoite is a diocesan. sent14: the fact that the piezoelectricity does not bestir desuetude is not wrong. sent15: if the piezoelectricity is not unclean the barterer is unclean.
sent13 & sent5 -> int1: the cousin slaves trapper.; int1 -> int2: the cousin multiplies or it slaves trapper or both.; int2 -> int3: there is something such that either it does multiply or it does slave trapper or both.; int3 & sent7 -> int4: the piezoelectricity is not unclean.;
the fact that the conduction bestirs desuetude is right.
sent11 -> int5: the sporozoite is not a diocesan and does not slave trapper if it multiplies.;
$hypothesis$ = that the barterer is unclean but it does not bestir desuetude is true. ; $context$ = sent1: the sporozoite is a kind of diocesan thing that is not unclean if the piezoelectricity is not a diocesan. sent2: the fact that the sporozoite is not unclean if there is something such that it is diocesan and/or it bestirs desuetude is not false. sent3: there is something such that it is unclean and/or it does multiply. sent4: something either is a kind of a diocesan or is unclean or both. sent5: the sporozoite is a diocesan. sent6: the sporozoite is not a Sonora. sent7: if the fact that something multiplies and/or it does slave trapper is right then the piezoelectricity is not unclean. sent8: the barterer is unclean. sent9: everything does not multiply. sent10: if the cousin is a kind of a diocesan the sporozoite does slave trapper. sent11: if something does multiply it is not a diocesan and it does not slave trapper. sent12: the piezoelectricity is not unclean if there is something such that it multiplies. sent13: the cousin does slave trapper if the sporozoite is a diocesan. sent14: the fact that the piezoelectricity does not bestir desuetude is not wrong. sent15: if the piezoelectricity is not unclean the barterer is unclean. ; $proof$ = 
sent13 & sent5 -> int1: the cousin slaves trapper.; int1 -> int2: the cousin multiplies or it slaves trapper or both.; int2 -> int3: there is something such that either it does multiply or it does slave trapper or both.; int3 & sent7 -> int4: the piezoelectricity is not unclean.; __UNKNOWN__