the HAART is not a kind of a Larus.
sent1: if there exists something such that it is not a kind of a Parkinson then the muff is a Molnar or it is not myotonic or both. sent2: there exists something such that the fact that it is not apologetic is right. sent3: if there is something such that it is not apologetic then the muff is a kind of a young and/or it is not myotonic. sent4: if the muff is not arbitrary then either the thiopental is a Molnar or it is not a Parkinson or both. sent5: the thiopental is a Molnar or it is a Parkinson or both. sent6: the HAART is not a Larus if the fact that it is not a young is true. sent7: if there is something such that it is not a Molnar the thiopental is a young and/or it is not arbitrary. sent8: if the muff is not arbitrary the fact that the thiopental either is a Molnar or is a kind of a Parkinson or both hold. sent9: the muff is either a Molnar or not myotonic or both. sent10: if the thiopental is not a Parkinson the HAART is a kind of a Larus. sent11: that the muff is not arbitrary is true if it is young. sent12: the HAART is a Larus if the thiopental is a Molnar and/or it is not a Parkinson. sent13: a young thing is not arbitrary. sent14: something that is a young and/or not myotonic is not arbitrary.
sent2 & sent3 -> int1: the muff is a kind of a young and/or it is non-myotonic.; sent14 -> int2: the muff is not arbitrary if it is a kind of a young and/or is not myotonic.; int1 & int2 -> int3: the muff is not arbitrary.; int3 & sent4 -> int4: that the thiopental is a kind of a Molnar or it is not a Parkinson or both is true.; int4 & sent12 -> hypothesis;
$hypothesis$ = the HAART is not a kind of a Larus. ; $context$ = sent1: if there exists something such that it is not a kind of a Parkinson then the muff is a Molnar or it is not myotonic or both. sent2: there exists something such that the fact that it is not apologetic is right. sent3: if there is something such that it is not apologetic then the muff is a kind of a young and/or it is not myotonic. sent4: if the muff is not arbitrary then either the thiopental is a Molnar or it is not a Parkinson or both. sent5: the thiopental is a Molnar or it is a Parkinson or both. sent6: the HAART is not a Larus if the fact that it is not a young is true. sent7: if there is something such that it is not a Molnar the thiopental is a young and/or it is not arbitrary. sent8: if the muff is not arbitrary the fact that the thiopental either is a Molnar or is a kind of a Parkinson or both hold. sent9: the muff is either a Molnar or not myotonic or both. sent10: if the thiopental is not a Parkinson the HAART is a kind of a Larus. sent11: that the muff is not arbitrary is true if it is young. sent12: the HAART is a Larus if the thiopental is a Molnar and/or it is not a Parkinson. sent13: a young thing is not arbitrary. sent14: something that is a young and/or not myotonic is not arbitrary. ; $proof$ = 
sent2 & sent3 -> int1: the muff is a kind of a young and/or it is non-myotonic.; sent14 -> int2: the muff is not arbitrary if it is a kind of a young and/or is not myotonic.; int1 & int2 -> int3: the muff is not arbitrary.; int3 & sent4 -> int4: that the thiopental is a kind of a Molnar or it is not a Parkinson or both is true.; int4 & sent12 -> hypothesis; __DISPROVED__