the protein is both not a anoxemia and an agnostic.
sent1: the pinhole does perform and it disentangles scrubber. sent2: the entrance does bilk if the fact that the salp is not a quantifiability and it does not consternate heaves is false. sent3: if the gatherer is not a myxomycete and it does not direct then the protein is not a anoxemia. sent4: the hitchrack does not roll and/or is a kind of a Chlamydosaurus if the fact that the entrance is not a Chlamydosaurus is true. sent5: something does not perform if it is not probabilistic. sent6: the Sno-cat is not hypertonic. sent7: if the entrance does bilk and is a kind of a Chlamydosaurus then the pinhole is not probabilistic. sent8: that the salp is not a quantifiability and does not consternate heaves is incorrect. sent9: if the hitchrack is not a rolling or it is a kind of a Chlamydosaurus or both then the protein is not non-agnostic.
sent2 & sent8 -> int1: the entrance bilks.; void -> assump1: Let's assume that the entrance is a kind of a Chlamydosaurus.; int1 & assump1 -> int2: the entrance bilks and is a Chlamydosaurus.; int2 & sent7 -> int3: the pinhole is not probabilistic.; sent5 -> int4: if the pinhole is not probabilistic it does not perform.; int3 & int4 -> int5: the pinhole does not perform.; sent1 -> int6: that the pinhole does perform is not wrong.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the entrance is not a Chlamydosaurus.; int8 & sent4 -> int9: either the hitchrack does not roll or it is a kind of a Chlamydosaurus or both.; int9 & sent9 -> int10: the protein is agnostic.; sent6 -> int11: there is something such that it is not hypertonic.;
$hypothesis$ = the protein is both not a anoxemia and an agnostic. ; $context$ = sent1: the pinhole does perform and it disentangles scrubber. sent2: the entrance does bilk if the fact that the salp is not a quantifiability and it does not consternate heaves is false. sent3: if the gatherer is not a myxomycete and it does not direct then the protein is not a anoxemia. sent4: the hitchrack does not roll and/or is a kind of a Chlamydosaurus if the fact that the entrance is not a Chlamydosaurus is true. sent5: something does not perform if it is not probabilistic. sent6: the Sno-cat is not hypertonic. sent7: if the entrance does bilk and is a kind of a Chlamydosaurus then the pinhole is not probabilistic. sent8: that the salp is not a quantifiability and does not consternate heaves is incorrect. sent9: if the hitchrack is not a rolling or it is a kind of a Chlamydosaurus or both then the protein is not non-agnostic. ; $proof$ = 
sent2 & sent8 -> int1: the entrance bilks.; void -> assump1: Let's assume that the entrance is a kind of a Chlamydosaurus.; int1 & assump1 -> int2: the entrance bilks and is a Chlamydosaurus.; int2 & sent7 -> int3: the pinhole is not probabilistic.; sent5 -> int4: if the pinhole is not probabilistic it does not perform.; int3 & int4 -> int5: the pinhole does not perform.; sent1 -> int6: that the pinhole does perform is not wrong.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the entrance is not a Chlamydosaurus.; int8 & sent4 -> int9: either the hitchrack does not roll or it is a kind of a Chlamydosaurus or both.; int9 & sent9 -> int10: the protein is agnostic.; sent6 -> int11: there is something such that it is not hypertonic.; __UNKNOWN__