the willowware is a kind of a Seder.
sent1: the foretop does not lull roentgenogram if there exists something such that it is not fluvial. sent2: if the willowware is a kayak it is a Frimaire. sent3: there is something such that it abjures willowware. sent4: there exists something such that that it is not fluvial hold. sent5: the fact that the roentgenogram is not a kayak is not false. sent6: the fact that the skinhead is not tearless is right. sent7: if something does kayak then it does blemish foretop. sent8: the willowware is not a kayak if something is not fluvial. sent9: something does not blemish Tartary if the fact that it blemish Tartary and it is not a atomism is wrong. sent10: the willowware is not a kind of a wisteria. sent11: if the willowware does blemish foretop it is a kayak. sent12: if there is something such that it is not unquiet then the willowware is not a kind of a constituent. sent13: there are non-pro-life things. sent14: the differentiation is a Seder. sent15: there is something such that it does not burrow. sent16: the willowware is not a kind of a recessional. sent17: the willowware is a Seder if the alpaca blemishes foretop. sent18: the willowware is fluvial. sent19: the willowware does not blemish foretop if something is not a kind of a soup-strainer. sent20: the fructose is not extragalactic. sent21: the willowware is not bacchantic. sent22: something is not a Seder if it does not blemish foretop.
void -> assump1: Let's assume that the willowware does blemish foretop.; sent11 & assump1 -> int1: the willowware does kayak.; sent4 & sent8 -> int2: the willowware does not kayak.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the willowware does not blemish foretop.; sent22 -> int5: if the willowware does not blemish foretop it is not a Seder.; int4 & int5 -> hypothesis;
the fact that the willowware is a Seder is true.
sent7 -> int6: the alpaca blemishes foretop if it kayaks.; sent9 -> int7: the fact that the lander does not blemish Tartary if that the lander blemish Tartary but it is not a atomism is false is not wrong.;
$hypothesis$ = the willowware is a kind of a Seder. ; $context$ = sent1: the foretop does not lull roentgenogram if there exists something such that it is not fluvial. sent2: if the willowware is a kayak it is a Frimaire. sent3: there is something such that it abjures willowware. sent4: there exists something such that that it is not fluvial hold. sent5: the fact that the roentgenogram is not a kayak is not false. sent6: the fact that the skinhead is not tearless is right. sent7: if something does kayak then it does blemish foretop. sent8: the willowware is not a kayak if something is not fluvial. sent9: something does not blemish Tartary if the fact that it blemish Tartary and it is not a atomism is wrong. sent10: the willowware is not a kind of a wisteria. sent11: if the willowware does blemish foretop it is a kayak. sent12: if there is something such that it is not unquiet then the willowware is not a kind of a constituent. sent13: there are non-pro-life things. sent14: the differentiation is a Seder. sent15: there is something such that it does not burrow. sent16: the willowware is not a kind of a recessional. sent17: the willowware is a Seder if the alpaca blemishes foretop. sent18: the willowware is fluvial. sent19: the willowware does not blemish foretop if something is not a kind of a soup-strainer. sent20: the fructose is not extragalactic. sent21: the willowware is not bacchantic. sent22: something is not a Seder if it does not blemish foretop. ; $proof$ = 
void -> assump1: Let's assume that the willowware does blemish foretop.; sent11 & assump1 -> int1: the willowware does kayak.; sent4 & sent8 -> int2: the willowware does not kayak.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the willowware does not blemish foretop.; sent22 -> int5: if the willowware does not blemish foretop it is not a Seder.; int4 & int5 -> hypothesis; __DISPROVED__