the gorilla is a invagination.
sent1: the neutron is not a invagination. sent2: the gorilla is not a Sumerian if that either the snake is censorial or it is photoelectric or both does not hold. sent3: something is a kind of dizygotic thing that does not tunnel fellow if the fact that it is a banquet is true. sent4: that the gorilla is a kind of a Senegalese is right if there is something such that it is not a invagination. sent5: the aspirin is not non-punctureless. sent6: something pecks balker if that it is censorial is correct. sent7: that the gorilla pecks balker is true. sent8: the breechblock is photoelectric if it is not a trolleybus. sent9: the snake is a kind of a Senegalese. sent10: if something is punctureless then it is a pike-perch. sent11: the gorilla is a kind of a Senegalese but it is not basidiomycetous. sent12: if the snake is not Senegalese it is Sumerian. sent13: something is punctureless if it does not deaminate touched. sent14: the snake is not a pike-perch if either the neutron is not censorial or it is a pike-perch or both. sent15: the fact that either the snake is punctureless or it does not deaminate touched or both is not right if it is not a pike-perch. sent16: that the fact that the snake pecks balker and/or is not a Sumerian is correct is not correct. sent17: something that is punctureless is a kind of a Sumerian and does not deaminate touched. sent18: if something is not censorial it is a invagination and it is photoelectric. sent19: if there is something such that the fact that it does not deaminate touched and is punctureless is not right the tetrasporangium is not a Sumerian. sent20: the fact that the gorilla does not deaminate touched is not false if that either the snake pecks balker or it is not a Sumerian or both does not hold.
sent20 & sent16 -> int1: the gorilla does not deaminate touched.; sent13 -> int2: if the gorilla does not deaminate touched it is punctureless.; int1 & int2 -> int3: the gorilla is punctureless.; sent10 -> int4: the gorilla is a kind of a pike-perch if it is punctureless.; int3 & int4 -> int5: the gorilla is a pike-perch.; sent18 -> int6: if the gorilla is not censorial then it is a kind of a invagination that is photoelectric.;
the gorilla is not a invagination.
$hypothesis$ = the gorilla is a invagination. ; $context$ = sent1: the neutron is not a invagination. sent2: the gorilla is not a Sumerian if that either the snake is censorial or it is photoelectric or both does not hold. sent3: something is a kind of dizygotic thing that does not tunnel fellow if the fact that it is a banquet is true. sent4: that the gorilla is a kind of a Senegalese is right if there is something such that it is not a invagination. sent5: the aspirin is not non-punctureless. sent6: something pecks balker if that it is censorial is correct. sent7: that the gorilla pecks balker is true. sent8: the breechblock is photoelectric if it is not a trolleybus. sent9: the snake is a kind of a Senegalese. sent10: if something is punctureless then it is a pike-perch. sent11: the gorilla is a kind of a Senegalese but it is not basidiomycetous. sent12: if the snake is not Senegalese it is Sumerian. sent13: something is punctureless if it does not deaminate touched. sent14: the snake is not a pike-perch if either the neutron is not censorial or it is a pike-perch or both. sent15: the fact that either the snake is punctureless or it does not deaminate touched or both is not right if it is not a pike-perch. sent16: that the fact that the snake pecks balker and/or is not a Sumerian is correct is not correct. sent17: something that is punctureless is a kind of a Sumerian and does not deaminate touched. sent18: if something is not censorial it is a invagination and it is photoelectric. sent19: if there is something such that the fact that it does not deaminate touched and is punctureless is not right the tetrasporangium is not a Sumerian. sent20: the fact that the gorilla does not deaminate touched is not false if that either the snake pecks balker or it is not a Sumerian or both does not hold. ; $proof$ = 
sent20 & sent16 -> int1: the gorilla does not deaminate touched.; sent13 -> int2: if the gorilla does not deaminate touched it is punctureless.; int1 & int2 -> int3: the gorilla is punctureless.; sent10 -> int4: the gorilla is a kind of a pike-perch if it is punctureless.; int3 & int4 -> int5: the gorilla is a pike-perch.; sent18 -> int6: if the gorilla is not censorial then it is a kind of a invagination that is photoelectric.; __UNKNOWN__