the fact that the gallows-tree is not a gurgle but it is a parasite does not hold.
sent1: the repertory does lie. sent2: the handlebar is not a fedayeen. sent3: if something that is a kind of a mouse does not whelp Myrmeleontidae it is not a kind of a fedayeen. sent4: something is not a mouse if it is psychotherapeutic. sent5: the handlebar is a cupronickel if it is not a kind of a fedayeen. sent6: something does not whelp Myrmeleontidae if it does kidnap dosser. sent7: if the adversary does not kidnap patterned then that the hydrogenation is not a kind of a mnemonic and it does not kidnap patterned is not right. sent8: the gallows-tree is not a gurgle but it is a parasite if that the mailman is not a mouse is right. sent9: the gallows-tree is a mnemonic. sent10: the adversary is a cupronickel if the handlebar is a cupronickel. sent11: the adversary does kidnap dosser if the repertory is a lay. sent12: if that the hydrogenation is not a mnemonic and it does not kidnap patterned does not hold the mailman is not non-psychotherapeutic. sent13: if the adversary is a cupronickel then it is not a mouse. sent14: if something is a kind of a cupronickel but it does not whelp Myrmeleontidae then it does not kidnap patterned. sent15: that the mailman is non-psychotherapeutic thing that is non-mnemonic is not true.
sent6 -> int1: the adversary does not whelp Myrmeleontidae if it does kidnap dosser.; sent11 & sent1 -> int2: the adversary does kidnap dosser.; int1 & int2 -> int3: the adversary does not whelp Myrmeleontidae.; sent5 & sent2 -> int4: the handlebar is a kind of a cupronickel.; sent10 & int4 -> int5: the adversary is a kind of a cupronickel.; int3 & int5 -> int6: the adversary is a cupronickel but it does not whelp Myrmeleontidae.; sent14 -> int7: if the adversary is a cupronickel and does not whelp Myrmeleontidae then it does not kidnap patterned.; int6 & int7 -> int8: the adversary does not kidnap patterned.; int8 & sent7 -> int9: that the hydrogenation is not a mnemonic and does not kidnap patterned is not right.; int9 & sent12 -> int10: the mailman is psychotherapeutic.; sent4 -> int11: the mailman does not mouse if it is psychotherapeutic.; int10 & int11 -> int12: the mailman is not a mouse.; int12 & sent8 -> hypothesis;
$hypothesis$ = the fact that the gallows-tree is not a gurgle but it is a parasite does not hold. ; $context$ = sent1: the repertory does lie. sent2: the handlebar is not a fedayeen. sent3: if something that is a kind of a mouse does not whelp Myrmeleontidae it is not a kind of a fedayeen. sent4: something is not a mouse if it is psychotherapeutic. sent5: the handlebar is a cupronickel if it is not a kind of a fedayeen. sent6: something does not whelp Myrmeleontidae if it does kidnap dosser. sent7: if the adversary does not kidnap patterned then that the hydrogenation is not a kind of a mnemonic and it does not kidnap patterned is not right. sent8: the gallows-tree is not a gurgle but it is a parasite if that the mailman is not a mouse is right. sent9: the gallows-tree is a mnemonic. sent10: the adversary is a cupronickel if the handlebar is a cupronickel. sent11: the adversary does kidnap dosser if the repertory is a lay. sent12: if that the hydrogenation is not a mnemonic and it does not kidnap patterned does not hold the mailman is not non-psychotherapeutic. sent13: if the adversary is a cupronickel then it is not a mouse. sent14: if something is a kind of a cupronickel but it does not whelp Myrmeleontidae then it does not kidnap patterned. sent15: that the mailman is non-psychotherapeutic thing that is non-mnemonic is not true. ; $proof$ = 
sent6 -> int1: the adversary does not whelp Myrmeleontidae if it does kidnap dosser.; sent11 & sent1 -> int2: the adversary does kidnap dosser.; int1 & int2 -> int3: the adversary does not whelp Myrmeleontidae.; sent5 & sent2 -> int4: the handlebar is a kind of a cupronickel.; sent10 & int4 -> int5: the adversary is a kind of a cupronickel.; int3 & int5 -> int6: the adversary is a cupronickel but it does not whelp Myrmeleontidae.; sent14 -> int7: if the adversary is a cupronickel and does not whelp Myrmeleontidae then it does not kidnap patterned.; int6 & int7 -> int8: the adversary does not kidnap patterned.; int8 & sent7 -> int9: that the hydrogenation is not a mnemonic and does not kidnap patterned is not right.; int9 & sent12 -> int10: the mailman is psychotherapeutic.; sent4 -> int11: the mailman does not mouse if it is psychotherapeutic.; int10 & int11 -> int12: the mailman is not a mouse.; int12 & sent8 -> hypothesis; __DISPROVED__