if the secessionist preserves then the ottoman is argillaceous.
sent1: the freshwater is argillaceous. sent2: the sideburn is not nonlexical. sent3: the ottoman actualizes. sent4: if that something is both nonlexical and not aeromechanic does not hold then it is a preserve. sent5: if the sideburn is not a sapphirine the fact that the ottoman is non-aeromechanic thing that is not a sapphirine is wrong. sent6: if the secessionist is a kind of a preserve or it is nonlexical or both the sideburn is not a sapphirine. sent7: the ottoman is a screw. sent8: the ottoman is nonlexical or it is a kind of a sapphirine or both. sent9: something is argillaceous if that it is not aeromechanic and it is not a sapphirine is not correct. sent10: the ottoman blocks Luddite. sent11: if the ottoman is a preserve and/or is a sapphirine then the secessionist is not nonlexical. sent12: the ottoman is aeromechanic if the secessionist is a sapphirine. sent13: if the secessionist is not argillaceous then the fact that the fact that the bard is nonlexical but not aeromechanic hold is not true. sent14: the fact that the sideburn is both argillaceous and conspicuous is not true if the ottoman does block Luddite.
void -> assump1: Let's assume that the secessionist is a preserve.; assump1 -> int1: the secessionist is a kind of a preserve and/or is nonlexical.; int1 & sent6 -> int2: the sideburn is not a kind of a sapphirine.; int2 & sent5 -> int3: the fact that that the ottoman is not aeromechanic and it is not a sapphirine is right is not true.; sent9 -> int4: the ottoman is argillaceous if the fact that it is not aeromechanic and it is not a kind of a sapphirine is wrong.; int3 & int4 -> int5: the ottoman is argillaceous.; [assump1] & int5 -> hypothesis;
the bard is sapphirine or not vertebrate or both.
sent4 -> int6: the bard does preserve if that it is nonlexical and non-aeromechanic is not right.; sent14 & sent10 -> int7: that the sideburn is not non-argillaceous but conspicuous is incorrect.; int7 -> int8: there exists something such that the fact that it is argillaceous and it is not inconspicuous is not true.;
$hypothesis$ = if the secessionist preserves then the ottoman is argillaceous. ; $context$ = sent1: the freshwater is argillaceous. sent2: the sideburn is not nonlexical. sent3: the ottoman actualizes. sent4: if that something is both nonlexical and not aeromechanic does not hold then it is a preserve. sent5: if the sideburn is not a sapphirine the fact that the ottoman is non-aeromechanic thing that is not a sapphirine is wrong. sent6: if the secessionist is a kind of a preserve or it is nonlexical or both the sideburn is not a sapphirine. sent7: the ottoman is a screw. sent8: the ottoman is nonlexical or it is a kind of a sapphirine or both. sent9: something is argillaceous if that it is not aeromechanic and it is not a sapphirine is not correct. sent10: the ottoman blocks Luddite. sent11: if the ottoman is a preserve and/or is a sapphirine then the secessionist is not nonlexical. sent12: the ottoman is aeromechanic if the secessionist is a sapphirine. sent13: if the secessionist is not argillaceous then the fact that the fact that the bard is nonlexical but not aeromechanic hold is not true. sent14: the fact that the sideburn is both argillaceous and conspicuous is not true if the ottoman does block Luddite. ; $proof$ = 
void -> assump1: Let's assume that the secessionist is a preserve.; assump1 -> int1: the secessionist is a kind of a preserve and/or is nonlexical.; int1 & sent6 -> int2: the sideburn is not a kind of a sapphirine.; int2 & sent5 -> int3: the fact that that the ottoman is not aeromechanic and it is not a sapphirine is right is not true.; sent9 -> int4: the ottoman is argillaceous if the fact that it is not aeromechanic and it is not a kind of a sapphirine is wrong.; int3 & int4 -> int5: the ottoman is argillaceous.; [assump1] & int5 -> hypothesis; __PROVED__