the fact that there exists something such that it is not clean or boots overspill or both hold.
sent1: something does not permit archeologist if the fact that it does permit archeologist and does not boot temp is not correct. sent2: if the psocid does not boot overspill then the archeologist does permit archeologist. sent3: if something bumbles rakishness then the fact that it does not permit archeologist is not false. sent4: the archeologist boots overspill if the psocid does not permit archeologist. sent5: that the psocid is not a danish and does not bumble rakishness is not correct if the noctiluca boots temp. sent6: if the archeologist does not boot selvage but it gnaws then the fact that it is impure is not false. sent7: the fact that the barbet permits archeologist but it does not boot temp is incorrect if there exists something such that it is impure. sent8: something that boots overspill bumbles rakishness. sent9: The temp boots noctiluca. sent10: that the psocid does not bumble randomness and it is not capitular is incorrect. sent11: the noctiluca boots temp.
sent5 & sent11 -> int1: the fact that the psocid is not a danish and it does not bumble rakishness is incorrect.;
the barbet bumbles rakishness.
sent8 -> int2: the barbet bumbles rakishness if that it does boot overspill is not false.; sent1 -> int3: the barbet does not permit archeologist if the fact that it does permit archeologist and it does not boot temp is not right.;
$hypothesis$ = the fact that there exists something such that it is not clean or boots overspill or both hold. ; $context$ = sent1: something does not permit archeologist if the fact that it does permit archeologist and does not boot temp is not correct. sent2: if the psocid does not boot overspill then the archeologist does permit archeologist. sent3: if something bumbles rakishness then the fact that it does not permit archeologist is not false. sent4: the archeologist boots overspill if the psocid does not permit archeologist. sent5: that the psocid is not a danish and does not bumble rakishness is not correct if the noctiluca boots temp. sent6: if the archeologist does not boot selvage but it gnaws then the fact that it is impure is not false. sent7: the fact that the barbet permits archeologist but it does not boot temp is incorrect if there exists something such that it is impure. sent8: something that boots overspill bumbles rakishness. sent9: The temp boots noctiluca. sent10: that the psocid does not bumble randomness and it is not capitular is incorrect. sent11: the noctiluca boots temp. ; $proof$ = 
sent5 & sent11 -> int1: the fact that the psocid is not a danish and it does not bumble rakishness is incorrect.; __UNKNOWN__