the klaxon is a kind of a disenchantment and lathers resh.
sent1: the virago is not a grantor if the fact that the liquefaction is a skiing but it is not a kind of a osteology is not right. sent2: the fact that the yard is not genetics and/or it hurtles secularism is not false. sent3: if the crape is not unshockable the klaxon is both taxable and a disenchantment. sent4: the trench is papal if the liquefaction is not a kind of a ruddle and/or it is a grantor. sent5: if the liquefaction is a ruddle the fact that it is both a disenchantment and not a grantor is not right. sent6: that the klaxon does lather resh hold if something either does not hurtle secularism or is not a kind of a modernist or both. sent7: the fact that the liquefaction is not a ruddle is not wrong. sent8: the crape is a migrator and it does hurtle Quincy. sent9: there exists something such that the fact that it is not a kind of a Pica and is a kind of a Sabine does not hold. sent10: the virago is not unshockable if either it is not unshockable or it is a kind of a disenchantment or both. sent11: the tarn is not papal. sent12: that the liquefaction is a kind of a skiing but it is not a kind of a osteology is not correct if it is not a kind of a ruddle. sent13: the fact that the yard lathers resh is not incorrect. sent14: there exists something such that the fact that it does not inscribe and is not a disenchantment is not right. sent15: that the yard is a kind of non-genetics thing that does not inscribe is not right if the virago is not a grantor. sent16: there is something such that the fact that it is non-genetics thing that does inscribe is not correct. sent17: that the saltine is shockable a algometer is not correct. sent18: something is not a disenchantment if the fact that it is a disenchantment and it is not a grantor is false. sent19: the klaxon is a modernist if there exists something such that it is nontaxable. sent20: the crape is not unshockable if there exists something such that the fact that it is not genetics and does not inscribe is not right. sent21: if the yard is not a grantor that the liquefaction is not genetics but it does ruddle is not right. sent22: something is genetics and it does inscribe if it is not unshockable. sent23: the tarn does not hurtle secularism if it is not papal. sent24: something is both not a steenbok and not unobjectionable.
sent12 & sent7 -> int1: that the liquefaction does ski and is not a osteology is false.; int1 & sent1 -> int2: the virago is not a grantor.; int2 & sent15 -> int3: that the yard is non-genetics and it does not inscribe is not correct.; int3 -> int4: there exists something such that the fact that it is non-genetics and it does not inscribe is incorrect.; int4 & sent20 -> int5: the crape is not unshockable.; int5 & sent3 -> int6: the klaxon is a kind of taxable a disenchantment.; int6 -> int7: the klaxon is a disenchantment.; sent23 & sent11 -> int8: the tarn does not hurtle secularism.; int8 -> int9: the tarn does not hurtle secularism and/or it is not a modernist.; int9 -> int10: either something does not hurtle secularism or it is not a modernist or both.; int10 & sent6 -> int11: the klaxon lathers resh.; int7 & int11 -> hypothesis;
the fact that the klaxon is a kind of a disenchantment and it lathers resh does not hold.
sent18 -> int12: if the fact that the liquefaction is both a disenchantment and not a grantor is incorrect then it is not a disenchantment.;
$hypothesis$ = the klaxon is a kind of a disenchantment and lathers resh. ; $context$ = sent1: the virago is not a grantor if the fact that the liquefaction is a skiing but it is not a kind of a osteology is not right. sent2: the fact that the yard is not genetics and/or it hurtles secularism is not false. sent3: if the crape is not unshockable the klaxon is both taxable and a disenchantment. sent4: the trench is papal if the liquefaction is not a kind of a ruddle and/or it is a grantor. sent5: if the liquefaction is a ruddle the fact that it is both a disenchantment and not a grantor is not right. sent6: that the klaxon does lather resh hold if something either does not hurtle secularism or is not a kind of a modernist or both. sent7: the fact that the liquefaction is not a ruddle is not wrong. sent8: the crape is a migrator and it does hurtle Quincy. sent9: there exists something such that the fact that it is not a kind of a Pica and is a kind of a Sabine does not hold. sent10: the virago is not unshockable if either it is not unshockable or it is a kind of a disenchantment or both. sent11: the tarn is not papal. sent12: that the liquefaction is a kind of a skiing but it is not a kind of a osteology is not correct if it is not a kind of a ruddle. sent13: the fact that the yard lathers resh is not incorrect. sent14: there exists something such that the fact that it does not inscribe and is not a disenchantment is not right. sent15: that the yard is a kind of non-genetics thing that does not inscribe is not right if the virago is not a grantor. sent16: there is something such that the fact that it is non-genetics thing that does inscribe is not correct. sent17: that the saltine is shockable a algometer is not correct. sent18: something is not a disenchantment if the fact that it is a disenchantment and it is not a grantor is false. sent19: the klaxon is a modernist if there exists something such that it is nontaxable. sent20: the crape is not unshockable if there exists something such that the fact that it is not genetics and does not inscribe is not right. sent21: if the yard is not a grantor that the liquefaction is not genetics but it does ruddle is not right. sent22: something is genetics and it does inscribe if it is not unshockable. sent23: the tarn does not hurtle secularism if it is not papal. sent24: something is both not a steenbok and not unobjectionable. ; $proof$ = 
sent12 & sent7 -> int1: that the liquefaction does ski and is not a osteology is false.; int1 & sent1 -> int2: the virago is not a grantor.; int2 & sent15 -> int3: that the yard is non-genetics and it does not inscribe is not correct.; int3 -> int4: there exists something such that the fact that it is non-genetics and it does not inscribe is incorrect.; int4 & sent20 -> int5: the crape is not unshockable.; int5 & sent3 -> int6: the klaxon is a kind of taxable a disenchantment.; int6 -> int7: the klaxon is a disenchantment.; sent23 & sent11 -> int8: the tarn does not hurtle secularism.; int8 -> int9: the tarn does not hurtle secularism and/or it is not a modernist.; int9 -> int10: either something does not hurtle secularism or it is not a modernist or both.; int10 & sent6 -> int11: the klaxon lathers resh.; int7 & int11 -> hypothesis; __PROVED__