the sock is not a fatalist.
sent1: if the porthole is a fatalist then the Asian is cytogenetic. sent2: if there exists something such that it is not a licked the ninon is not a kind of a triviality. sent3: if something is non-phylogenetic thing that does not stick sixpence then it is cytogenetic. sent4: if the bandsman is a Samoan then the linalool does stick missal. sent5: if something does not incriminate popularism then the hemiparasite is a kind of a Stein but it is not a kind of a Samoan. sent6: that the sock does not stick sixpence is correct. sent7: the Chiron is not a kind of a licked if a non-dialectal thing does not stick Nichrome. sent8: there is something such that it is cytogenetic. sent9: if the sectarian is a tucker-bag but it is not a Nestorian the chloroprene is a Nestorian. sent10: the serial does not incriminate popularism. sent11: if the ninon is not a triviality then the Cajun is not phylogenetic and does not stick sixpence. sent12: the sock is non-fatalist if the porthole is not cytogenetic. sent13: if the chloroprene is a Nestorian then the uke is a Nestorian. sent14: if the uke is Nestorian it is not dialectal and does not stick Nichrome. sent15: the fact that the porthole is a kind of a misdemeanor and it is cytogenetic is not true if there is something such that it is not epicyclic. sent16: there is something such that it is not epicyclic. sent17: the fact that something is epicyclic is not false. sent18: the Asian is epicyclic and non-phylogenetic if the sock does not stick sixpence. sent19: if the porthole is a fatalist then the sock is a kind of a fatalist. sent20: if the hemiparasite is a kind of a Stein but it is not a kind of a Samoan then the bandsman is a kind of a Samoan. sent21: if there is something such that it does stick missal the sectarian is a tucker-bag but it is not Nestorian. sent22: if that the porthole is both a misdemeanor and not non-cytogenetic is wrong then the sock is not a fatalist.
sent16 & sent15 -> int1: the fact that the porthole is a misdemeanor and cytogenetic is not correct.; sent22 & int1 -> hypothesis;
the sock is a fatalist.
sent3 -> int2: if the Cajun is not phylogenetic and it does not stick sixpence then it is cytogenetic.; sent10 -> int3: there exists something such that it does not incriminate popularism.; int3 & sent5 -> int4: the hemiparasite is a Stein but it is not Samoan.; sent20 & int4 -> int5: the bandsman is a Samoan.; sent4 & int5 -> int6: the linalool does stick missal.; int6 -> int7: something does stick missal.; int7 & sent21 -> int8: the sectarian is a tucker-bag and is not a Nestorian.; sent9 & int8 -> int9: the chloroprene is a kind of a Nestorian.; sent13 & int9 -> int10: the uke is a kind of a Nestorian.; sent14 & int10 -> int11: the uke is a kind of non-dialectal thing that does not stick Nichrome.; int11 -> int12: there exists something such that it is not dialectal and it does not stick Nichrome.; int12 & sent7 -> int13: the Chiron is not a licked.; int13 -> int14: something is not a kind of a licked.; int14 & sent2 -> int15: the ninon is not a triviality.; sent11 & int15 -> int16: the Cajun is a kind of non-phylogenetic thing that does not stick sixpence.; int2 & int16 -> int17: the Cajun is cytogenetic.;
$hypothesis$ = the sock is not a fatalist. ; $context$ = sent1: if the porthole is a fatalist then the Asian is cytogenetic. sent2: if there exists something such that it is not a licked the ninon is not a kind of a triviality. sent3: if something is non-phylogenetic thing that does not stick sixpence then it is cytogenetic. sent4: if the bandsman is a Samoan then the linalool does stick missal. sent5: if something does not incriminate popularism then the hemiparasite is a kind of a Stein but it is not a kind of a Samoan. sent6: that the sock does not stick sixpence is correct. sent7: the Chiron is not a kind of a licked if a non-dialectal thing does not stick Nichrome. sent8: there is something such that it is cytogenetic. sent9: if the sectarian is a tucker-bag but it is not a Nestorian the chloroprene is a Nestorian. sent10: the serial does not incriminate popularism. sent11: if the ninon is not a triviality then the Cajun is not phylogenetic and does not stick sixpence. sent12: the sock is non-fatalist if the porthole is not cytogenetic. sent13: if the chloroprene is a Nestorian then the uke is a Nestorian. sent14: if the uke is Nestorian it is not dialectal and does not stick Nichrome. sent15: the fact that the porthole is a kind of a misdemeanor and it is cytogenetic is not true if there is something such that it is not epicyclic. sent16: there is something such that it is not epicyclic. sent17: the fact that something is epicyclic is not false. sent18: the Asian is epicyclic and non-phylogenetic if the sock does not stick sixpence. sent19: if the porthole is a fatalist then the sock is a kind of a fatalist. sent20: if the hemiparasite is a kind of a Stein but it is not a kind of a Samoan then the bandsman is a kind of a Samoan. sent21: if there is something such that it does stick missal the sectarian is a tucker-bag but it is not Nestorian. sent22: if that the porthole is both a misdemeanor and not non-cytogenetic is wrong then the sock is not a fatalist. ; $proof$ = 
sent16 & sent15 -> int1: the fact that the porthole is a misdemeanor and cytogenetic is not correct.; sent22 & int1 -> hypothesis; __PROVED__