the organophosphate is a kind of a Trenton that does not beat nadolol.
sent1: the organophosphate is autoecious and it does spoon Nichrome if the chiffonier is not a Stalinist. sent2: the chiffonier is not autoecious. sent3: either the bassoonist is a Stalinist or it spoons Nichrome or both. sent4: if the chiffonier is not autoecious then the bassoonist spoons Nichrome. sent5: the freshman either does not winnow or does not enjoy bachelor or both. sent6: the organophosphate does not beat nadolol. sent7: the fact that if the freshman is a Apus the fact that the mirror is not platonic but Markovian does not hold hold. sent8: if something does not spoon hypobasidium it is not rationalistic and is not a pink. sent9: the bassoonist does not beat nadolol if the organophosphate is not Stalinist. sent10: if the mirror is not rationalistic the organophosphate is a Trenton but it does not beat nadolol. sent11: if the chiffonier is not rationalistic the mirror is not autoecious. sent12: the bassoonist is not autoecious if something is not Stalinist. sent13: if there is something such that it is not a Stalinist or it does spoon Nichrome or both the mirror is not rationalistic. sent14: the freshman is a metronome if it is not a winnow or does not enjoy bachelor or both. sent15: if something is autoecious then that it is a kind of a Trenton that does not beat nadolol does not hold. sent16: if that the mirror is non-platonic and not non-Markovian does not hold then the bassoonist is not non-Markovian. sent17: the mirror is autoecious. sent18: the mirror is not rationalistic if there is something such that it is not a kind of a Stalinist. sent19: if the freshman is a kind of a metronome then it is a Apus. sent20: if something is not rationalistic and it is not a pink then it is not a kind of a Stalinist. sent21: the chiffonier is a Trenton.
sent4 & sent2 -> int1: the bassoonist spoons Nichrome.; int1 -> int2: the bassoonist is not a Stalinist and/or it does spoon Nichrome.; int2 -> int3: there exists something such that it is not a Stalinist and/or spoons Nichrome.; int3 & sent13 -> int4: the mirror is not rationalistic.; sent10 & int4 -> hypothesis;
that the organophosphate is a Trenton but it does not beat nadolol is wrong.
sent15 -> int5: if the organophosphate is not non-autoecious then the fact that it is a Trenton and it does not beat nadolol is false.; sent20 -> int6: the chiffonier is not a Stalinist if that it is not rationalistic and it does not pink is not wrong.; sent8 -> int7: the chiffonier is not rationalistic and it is not a pink if it does not spoon hypobasidium.; sent14 & sent5 -> int8: the freshman is a metronome.; sent19 & int8 -> int9: the freshman is a kind of a Apus.; sent7 & int9 -> int10: that that the mirror is not platonic but it is Markovian is not incorrect is false.; sent16 & int10 -> int11: that the bassoonist is not Markovian is not wrong.; int11 -> int12: there is something such that it is not Markovian.;
$hypothesis$ = the organophosphate is a kind of a Trenton that does not beat nadolol. ; $context$ = sent1: the organophosphate is autoecious and it does spoon Nichrome if the chiffonier is not a Stalinist. sent2: the chiffonier is not autoecious. sent3: either the bassoonist is a Stalinist or it spoons Nichrome or both. sent4: if the chiffonier is not autoecious then the bassoonist spoons Nichrome. sent5: the freshman either does not winnow or does not enjoy bachelor or both. sent6: the organophosphate does not beat nadolol. sent7: the fact that if the freshman is a Apus the fact that the mirror is not platonic but Markovian does not hold hold. sent8: if something does not spoon hypobasidium it is not rationalistic and is not a pink. sent9: the bassoonist does not beat nadolol if the organophosphate is not Stalinist. sent10: if the mirror is not rationalistic the organophosphate is a Trenton but it does not beat nadolol. sent11: if the chiffonier is not rationalistic the mirror is not autoecious. sent12: the bassoonist is not autoecious if something is not Stalinist. sent13: if there is something such that it is not a Stalinist or it does spoon Nichrome or both the mirror is not rationalistic. sent14: the freshman is a metronome if it is not a winnow or does not enjoy bachelor or both. sent15: if something is autoecious then that it is a kind of a Trenton that does not beat nadolol does not hold. sent16: if that the mirror is non-platonic and not non-Markovian does not hold then the bassoonist is not non-Markovian. sent17: the mirror is autoecious. sent18: the mirror is not rationalistic if there is something such that it is not a kind of a Stalinist. sent19: if the freshman is a kind of a metronome then it is a Apus. sent20: if something is not rationalistic and it is not a pink then it is not a kind of a Stalinist. sent21: the chiffonier is a Trenton. ; $proof$ = 
sent4 & sent2 -> int1: the bassoonist spoons Nichrome.; int1 -> int2: the bassoonist is not a Stalinist and/or it does spoon Nichrome.; int2 -> int3: there exists something such that it is not a Stalinist and/or spoons Nichrome.; int3 & sent13 -> int4: the mirror is not rationalistic.; sent10 & int4 -> hypothesis; __PROVED__