the prizefighter flounders.
sent1: that the girder unbends ELF is right. sent2: there is something such that it unbends ELF. sent3: if something does not unbend ELF the fact that it flounders and it is gaseous is not correct. sent4: if there is something such that it either does not unbend ELF or is gaseous or both then the Iranian is laryngeal. sent5: that something is Andalusian and is not a flounder does not hold if it is a kind of a Phasmidae. sent6: That the ELF unbends girder is right. sent7: the prizefighter is gaseous. sent8: the girder is gaseous. sent9: the whiffer does tease ostracoderm if something that is not non-gaseous does unbend ELF. sent10: if the fact that something is a kind of a flounder that is gaseous is not true then it is not a kind of a flounder. sent11: there exists something such that it is gaseous. sent12: the prizefighter flounders if the whiffer is laryngeal. sent13: everything is a Phasmidae.
sent8 & sent1 -> int1: the girder is gaseous and it does unbend ELF.; int1 -> int2: there is something such that it is a kind of gaseous thing that does unbend ELF.; int2 & sent9 -> int3: the whiffer teases ostracoderm.;
the Iranian is laryngeal.
sent5 -> int4: the fact that the tassel is Andalusian but it does not flounder is not correct if it is a kind of a Phasmidae.; sent13 -> int5: that the tassel is a Phasmidae is not incorrect.; int4 & int5 -> int6: the fact that the tassel is not non-Andalusian and not a flounder is wrong.; int6 -> int7: there is nothing that is Andalusian and does not flounder.; int7 -> int8: the fact that the prizefighter is a kind of Andalusian thing that is not a flounder does not hold.; int8 -> int9: there is something such that that it is Andalusian and it is not a kind of a flounder is wrong.;
$hypothesis$ = the prizefighter flounders. ; $context$ = sent1: that the girder unbends ELF is right. sent2: there is something such that it unbends ELF. sent3: if something does not unbend ELF the fact that it flounders and it is gaseous is not correct. sent4: if there is something such that it either does not unbend ELF or is gaseous or both then the Iranian is laryngeal. sent5: that something is Andalusian and is not a flounder does not hold if it is a kind of a Phasmidae. sent6: That the ELF unbends girder is right. sent7: the prizefighter is gaseous. sent8: the girder is gaseous. sent9: the whiffer does tease ostracoderm if something that is not non-gaseous does unbend ELF. sent10: if the fact that something is a kind of a flounder that is gaseous is not true then it is not a kind of a flounder. sent11: there exists something such that it is gaseous. sent12: the prizefighter flounders if the whiffer is laryngeal. sent13: everything is a Phasmidae. ; $proof$ = 
sent8 & sent1 -> int1: the girder is gaseous and it does unbend ELF.; int1 -> int2: there is something such that it is a kind of gaseous thing that does unbend ELF.; int2 & sent9 -> int3: the whiffer teases ostracoderm.; __UNKNOWN__