the nucleon shaves.
sent1: the hyena is not a sandarac if it is not historical. sent2: if the fact that something is not a enalapril and is a passing is incorrect the fact that it does not passing is true. sent3: the hyena is not a shave. sent4: the nucleon does not shave if there is something such that it is not a kind of a lighterman. sent5: if the flowage is not Ptolemaic that it is not non-obligatory but a neurolinguist is not right. sent6: that the nucleon is not a kind of a shave but it is asclepiadaceous is not true. sent7: the fact that the flowage is a kind of a tadalafil and it is Ptolemaic is wrong. sent8: if that something is a kind of Ptolemaic thing that is not a Algonquian is incorrect then it is not a neurolinguist. sent9: the nucleon is not a shave if there is something such that the fact that it is not asclepiadaceous and it is a kind of a lighterman is not true. sent10: if the fact that the flowage is a kind of a tadalafil and it is Ptolemaic is not right it is not Ptolemaic. sent11: there exists something such that it is a kind of non-asclepiadaceous thing that is a lighterman. sent12: that the nucleon does not shave but it is historical is not true if the flowage is not a sandarac. sent13: there exists nothing such that it is Ptolemaic and it is not a Algonquian. sent14: the fact that the hyena is not asclepiadaceous and is a lighterman is not true if it is a enalapril. sent15: there is something such that the fact that it is asclepiadaceous and it is a kind of a lighterman is not correct. sent16: the hyena is a enalapril. sent17: if that the flowage is not obligatory and/or it is historical is not true the hyena is not historical. sent18: the double-prop is not a Orangeman. sent19: if that there is something such that the fact that it is not a neurolinguist hold is correct then that the flowage either is not obligatory or is historical or both is false. sent20: if the fact that something is obligatory and a neurolinguist is false it is not a kind of a sandarac.
sent14 & sent16 -> int1: the fact that the hyena is not asclepiadaceous but a lighterman is incorrect.; int1 -> int2: there exists something such that that it is non-asclepiadaceous a lighterman is not right.; int2 & sent9 -> hypothesis;
that the nucleon is a shave is not false.
sent8 -> int3: the walk is not a neurolinguist if the fact that it is both Ptolemaic and not a Algonquian does not hold.; sent13 -> int4: that the walk is Ptolemaic and is not a Algonquian is incorrect.; int3 & int4 -> int5: that the walk is not a neurolinguist is not incorrect.; int5 -> int6: something is not a neurolinguist.; int6 & sent19 -> int7: that the flowage is not obligatory and/or it is not non-historical is not correct.; sent17 & int7 -> int8: the hyena is not historical.; sent1 & int8 -> int9: the hyena is not a kind of a sandarac.; int9 -> int10: there exists something such that the fact that it is not a sandarac is right.;
$hypothesis$ = the nucleon shaves. ; $context$ = sent1: the hyena is not a sandarac if it is not historical. sent2: if the fact that something is not a enalapril and is a passing is incorrect the fact that it does not passing is true. sent3: the hyena is not a shave. sent4: the nucleon does not shave if there is something such that it is not a kind of a lighterman. sent5: if the flowage is not Ptolemaic that it is not non-obligatory but a neurolinguist is not right. sent6: that the nucleon is not a kind of a shave but it is asclepiadaceous is not true. sent7: the fact that the flowage is a kind of a tadalafil and it is Ptolemaic is wrong. sent8: if that something is a kind of Ptolemaic thing that is not a Algonquian is incorrect then it is not a neurolinguist. sent9: the nucleon is not a shave if there is something such that the fact that it is not asclepiadaceous and it is a kind of a lighterman is not true. sent10: if the fact that the flowage is a kind of a tadalafil and it is Ptolemaic is not right it is not Ptolemaic. sent11: there exists something such that it is a kind of non-asclepiadaceous thing that is a lighterman. sent12: that the nucleon does not shave but it is historical is not true if the flowage is not a sandarac. sent13: there exists nothing such that it is Ptolemaic and it is not a Algonquian. sent14: the fact that the hyena is not asclepiadaceous and is a lighterman is not true if it is a enalapril. sent15: there is something such that the fact that it is asclepiadaceous and it is a kind of a lighterman is not correct. sent16: the hyena is a enalapril. sent17: if that the flowage is not obligatory and/or it is historical is not true the hyena is not historical. sent18: the double-prop is not a Orangeman. sent19: if that there is something such that the fact that it is not a neurolinguist hold is correct then that the flowage either is not obligatory or is historical or both is false. sent20: if the fact that something is obligatory and a neurolinguist is false it is not a kind of a sandarac. ; $proof$ = 
sent14 & sent16 -> int1: the fact that the hyena is not asclepiadaceous but a lighterman is incorrect.; int1 -> int2: there exists something such that that it is non-asclepiadaceous a lighterman is not right.; int2 & sent9 -> hypothesis; __DISPROVED__