the acyl does not brazen norgestrel.
sent1: something that is psychosexual does brazen norgestrel. sent2: the acyl is paleolithic. sent3: something is paleolithic and not non-psychosexual if it is not a Fonda. sent4: if the endonuclease is not a celestite that the seductress is a torero and it is a Fonda is not correct. sent5: if something is a kind of a Sceloglaux it is psychosexual. sent6: if something is psychosexual then it is paleolithic. sent7: the fact that the endonuclease is not a kind of a celestite is true. sent8: the acyl is both a Sceloglaux and paleolithic. sent9: the sprig brazens norgestrel if that the acyl is a kind of non-paleolithic thing that is a Sceloglaux is not true. sent10: if the fact that the acyl does amount is not false then it is a kind of a cesspool. sent11: if the fact that something is both a torero and a Fonda is not true it is not a kind of a Fonda.
sent8 -> int1: that the acyl is a Sceloglaux is right.; sent5 -> int2: if the acyl is a kind of a Sceloglaux it is psychosexual.; int1 & int2 -> int3: the acyl is psychosexual.; sent1 -> int4: the acyl brazens norgestrel if it is psychosexual.; int3 & int4 -> hypothesis;
the sprig does brazen norgestrel.
$hypothesis$ = the acyl does not brazen norgestrel. ; $context$ = sent1: something that is psychosexual does brazen norgestrel. sent2: the acyl is paleolithic. sent3: something is paleolithic and not non-psychosexual if it is not a Fonda. sent4: if the endonuclease is not a celestite that the seductress is a torero and it is a Fonda is not correct. sent5: if something is a kind of a Sceloglaux it is psychosexual. sent6: if something is psychosexual then it is paleolithic. sent7: the fact that the endonuclease is not a kind of a celestite is true. sent8: the acyl is both a Sceloglaux and paleolithic. sent9: the sprig brazens norgestrel if that the acyl is a kind of non-paleolithic thing that is a Sceloglaux is not true. sent10: if the fact that the acyl does amount is not false then it is a kind of a cesspool. sent11: if the fact that something is both a torero and a Fonda is not true it is not a kind of a Fonda. ; $proof$ = 
sent8 -> int1: that the acyl is a Sceloglaux is right.; sent5 -> int2: if the acyl is a kind of a Sceloglaux it is psychosexual.; int1 & int2 -> int3: the acyl is psychosexual.; sent1 -> int4: the acyl brazens norgestrel if it is psychosexual.; int3 & int4 -> hypothesis; __DISPROVED__