that there is something such that it is not diadromous is false.
sent1: if the fact that something does forage Petersburg and does not profess does not hold it is not Draconian. sent2: the hagfish is not a nitrofuran if that the bindery is a kind of a tarpan and it is Draconian is not true. sent3: the lightbulb detrains flyover. sent4: that something is a croft but it is not offside is false if it is a kind of an elastic. sent5: if the spareribs does heel Talbot then the Satanist is a starlet. sent6: there exists something such that the fact that it is diadromous hold. sent7: if something is not a nitrofuran then it is an elastic. sent8: if the hagfish is keyless but it is not diadromous the lightbulb does not detrain flyover. sent9: if the doughnut is not a sizzle then the spareribs heels Talbot and it is a kind of a Austen. sent10: the doughnut is not a sizzle. sent11: the lightbulb does not border dartboard if it is a kind of non-diadromous thing that is a croft. sent12: if something is a kind of a starlet the fact that it forages Petersburg and does not profess is not correct. sent13: the fact that the bindery is both a tarpan and Draconian is false if there exists something such that it is not Draconian. sent14: if there exists something such that that it is a croft and is not offside is incorrect the lightbulb is diadromous. sent15: there exists something such that it is not a croft. sent16: if the lightbulb detrains flyover but it is not keyless then the hagfish is not diadromous. sent17: if the lightbulb detrains flyover but it is not diadromous the hagfish is not keyless. sent18: something is a croft. sent19: the lightbulb detrains flyover and is not keyless if it is a croft. sent20: the lightbulb is a kind of a croft. sent21: the lightbulb detrains flyover if it is a croft.
sent19 & sent20 -> int1: the lightbulb does detrain flyover but it is not keyless.; sent16 & int1 -> int2: the hagfish is not diadromous.; int2 -> hypothesis;
the lightbulb is diadromous.
sent4 -> int3: if the hagfish is not inelastic that it is both a croft and non-offside is not correct.; sent7 -> int4: if the hagfish is not a nitrofuran then it is elastic.; sent1 -> int5: if the fact that the Satanist forages Petersburg but it does not profess does not hold then it is non-Draconian.; sent12 -> int6: if the Satanist is a kind of a starlet the fact that it forages Petersburg and does not profess is wrong.; sent9 & sent10 -> int7: the spareribs does heel Talbot and is a Austen.; int7 -> int8: the spareribs does heel Talbot.; sent5 & int8 -> int9: the Satanist is a starlet.; int6 & int9 -> int10: that the Satanist forages Petersburg but it does not profess is false.; int5 & int10 -> int11: the Satanist is not Draconian.; int11 -> int12: there is something such that it is not Draconian.; int12 & sent13 -> int13: the fact that the bindery is both a tarpan and Draconian is incorrect.; sent2 & int13 -> int14: the hagfish is not a kind of a nitrofuran.; int4 & int14 -> int15: the hagfish is elastic.; int3 & int15 -> int16: the fact that the hagfish is both a croft and not offside does not hold.; int16 -> int17: there is something such that that it is a kind of a croft that is not a offside does not hold.; int17 & sent14 -> hypothesis;
$hypothesis$ = that there is something such that it is not diadromous is false. ; $context$ = sent1: if the fact that something does forage Petersburg and does not profess does not hold it is not Draconian. sent2: the hagfish is not a nitrofuran if that the bindery is a kind of a tarpan and it is Draconian is not true. sent3: the lightbulb detrains flyover. sent4: that something is a croft but it is not offside is false if it is a kind of an elastic. sent5: if the spareribs does heel Talbot then the Satanist is a starlet. sent6: there exists something such that the fact that it is diadromous hold. sent7: if something is not a nitrofuran then it is an elastic. sent8: if the hagfish is keyless but it is not diadromous the lightbulb does not detrain flyover. sent9: if the doughnut is not a sizzle then the spareribs heels Talbot and it is a kind of a Austen. sent10: the doughnut is not a sizzle. sent11: the lightbulb does not border dartboard if it is a kind of non-diadromous thing that is a croft. sent12: if something is a kind of a starlet the fact that it forages Petersburg and does not profess is not correct. sent13: the fact that the bindery is both a tarpan and Draconian is false if there exists something such that it is not Draconian. sent14: if there exists something such that that it is a croft and is not offside is incorrect the lightbulb is diadromous. sent15: there exists something such that it is not a croft. sent16: if the lightbulb detrains flyover but it is not keyless then the hagfish is not diadromous. sent17: if the lightbulb detrains flyover but it is not diadromous the hagfish is not keyless. sent18: something is a croft. sent19: the lightbulb detrains flyover and is not keyless if it is a croft. sent20: the lightbulb is a kind of a croft. sent21: the lightbulb detrains flyover if it is a croft. ; $proof$ = 
sent19 & sent20 -> int1: the lightbulb does detrain flyover but it is not keyless.; sent16 & int1 -> int2: the hagfish is not diadromous.; int2 -> hypothesis; __DISPROVED__