the fohn works Thule.
sent1: the fact that the dodder does mop and/or is not a disa is false. sent2: if that something does not vex pinche and is not a Platanthera does not hold then it is bilious. sent3: the annalist is not a detachment. sent4: that the annalist vexes pinche but it is not a Platanthera is incorrect. sent5: something that is a touchback is a kind of a Platanthera. sent6: the fact that the gloss is a touchback that is not a lunette does not hold. sent7: the dodder is a detachment if that it mops and/or is not a disa is not correct. sent8: that the fohn is not bilious is not wrong. sent9: that the gloss is both not a touchback and not a lunette is wrong if it is not a watt. sent10: that the annalist does not vex pinche and is a Platanthera is wrong. sent11: the gloss is not a watt. sent12: that the hardback is both not a watt and a Latin does not hold if the T-junction is not a kind of a detachment. sent13: if the gloss is a kind of a Platanthera then the fact that the annalist does not vex pinche and is a Platanthera does not hold. sent14: the fohn does not work Thule if the annalist work Thule and is not a kind of a Platanthera. sent15: that the gloss is a watt but it does not work Thule is false if it is not Latin. sent16: the T-junction is not a detachment if the fact that the dodder is a detachment is right. sent17: something works Thule if it is a Latin. sent18: there is something such that it is birefringent. sent19: the annalist is birefringent but not a detachment. sent20: the gloss is a kind of a Platanthera if it is a touchback. sent21: the annalist is a watt but it is not a detachment. sent22: something that is a sallet does block. sent23: if the fact that something is not a touchback and not a lunette does not hold then it is a Platanthera. sent24: if something that is bilious is birefringent then the fohn is a Latin. sent25: the fact that the fact that the annalist vexes pinche and is not a Platanthera does not hold is not false if the gloss is a kind of a Platanthera. sent26: something vexes pinche and it is bilious if it is not birefringent.
sent23 -> int1: if the fact that the gloss is not a touchback and it is not a kind of a lunette is not correct it is a kind of a Platanthera.; sent9 & sent11 -> int2: the fact that the gloss is not a touchback and is not a lunette is false.; int1 & int2 -> int3: the gloss is a Platanthera.; sent2 -> int4: the annalist is bilious if that it does not vex pinche and is not a Platanthera is false.; sent19 -> int5: the annalist is birefringent.; sent17 -> int6: the fohn does work Thule if it is a kind of a Latin.;
that the fohn does not work Thule hold.
sent26 -> int7: if the laelia is not birefringent it vexes pinche and it is bilious.; sent7 & sent1 -> int8: the dodder is a detachment.; sent16 & int8 -> int9: the T-junction is not a detachment.; sent12 & int9 -> int10: that the hardback is not a watt but it is a Latin is incorrect.; int10 -> int11: there exists something such that that it is not a kind of a watt and is a Latin is not right.;
$hypothesis$ = the fohn works Thule. ; $context$ = sent1: the fact that the dodder does mop and/or is not a disa is false. sent2: if that something does not vex pinche and is not a Platanthera does not hold then it is bilious. sent3: the annalist is not a detachment. sent4: that the annalist vexes pinche but it is not a Platanthera is incorrect. sent5: something that is a touchback is a kind of a Platanthera. sent6: the fact that the gloss is a touchback that is not a lunette does not hold. sent7: the dodder is a detachment if that it mops and/or is not a disa is not correct. sent8: that the fohn is not bilious is not wrong. sent9: that the gloss is both not a touchback and not a lunette is wrong if it is not a watt. sent10: that the annalist does not vex pinche and is a Platanthera is wrong. sent11: the gloss is not a watt. sent12: that the hardback is both not a watt and a Latin does not hold if the T-junction is not a kind of a detachment. sent13: if the gloss is a kind of a Platanthera then the fact that the annalist does not vex pinche and is a Platanthera does not hold. sent14: the fohn does not work Thule if the annalist work Thule and is not a kind of a Platanthera. sent15: that the gloss is a watt but it does not work Thule is false if it is not Latin. sent16: the T-junction is not a detachment if the fact that the dodder is a detachment is right. sent17: something works Thule if it is a Latin. sent18: there is something such that it is birefringent. sent19: the annalist is birefringent but not a detachment. sent20: the gloss is a kind of a Platanthera if it is a touchback. sent21: the annalist is a watt but it is not a detachment. sent22: something that is a sallet does block. sent23: if the fact that something is not a touchback and not a lunette does not hold then it is a Platanthera. sent24: if something that is bilious is birefringent then the fohn is a Latin. sent25: the fact that the fact that the annalist vexes pinche and is not a Platanthera does not hold is not false if the gloss is a kind of a Platanthera. sent26: something vexes pinche and it is bilious if it is not birefringent. ; $proof$ = 
sent23 -> int1: if the fact that the gloss is not a touchback and it is not a kind of a lunette is not correct it is a kind of a Platanthera.; sent9 & sent11 -> int2: the fact that the gloss is not a touchback and is not a lunette is false.; int1 & int2 -> int3: the gloss is a Platanthera.; sent2 -> int4: the annalist is bilious if that it does not vex pinche and is not a Platanthera is false.; sent19 -> int5: the annalist is birefringent.; sent17 -> int6: the fohn does work Thule if it is a kind of a Latin.; __UNKNOWN__