the dideoxycytosine is not a badge and it does not transaminate howler.
sent1: if the holystone does transaminate howler the dideoxycytosine does not badge and it does not transaminate howler. sent2: if the hypnotist is a Anguillan then it is a canvas. sent3: something is lobate if it is not a kind of a windburned. sent4: the holystone is a twang. sent5: something that does not transaminate howler is a kind of non-Yugoslavian thing that is Anguillan. sent6: the dideoxycytosine is not a badge. sent7: the holystone does not log Morpheus and it is not Yugoslavian. sent8: if something is a scone then it is a kind of a fucker. sent9: the hypnotist is a kind of a memento. sent10: the hypnotist is a scone that logs Morpheus. sent11: the fact that the fact that something does not badge and does not transaminate howler is correct is false if it canvases. sent12: the plum is not a kind of a fucker and is not a Irelander. sent13: the hypnotist does not transaminate howler but it canvases if that it does not badge hold. sent14: if something is a fucker it is a canvas. sent15: something is Yugoslavian if it does badge. sent16: the hypnotist is not a kind of a Anguillan if the holystone is a canvas.
sent5 -> int1: if the holystone does not transaminate howler it is not Yugoslavian and it is Anguillan.; void -> assump1: Let's assume that the holystone does not transaminate howler.; int1 & assump1 -> int2: the holystone is not Yugoslavian but Anguillan.; sent14 -> int3: if the fact that the hypnotist is a fucker hold then it is a canvas.; sent8 -> int4: if the hypnotist is a scone then it is a kind of a fucker.; sent10 -> int5: that the hypnotist is not a scone is wrong.; int4 & int5 -> int6: the hypnotist is a fucker.; int3 & int6 -> int7: the hypnotist is a kind of a canvas.;
the fact that the dideoxycytosine does not badge and does not transaminate howler does not hold.
sent11 -> int8: that the dideoxycytosine is not a badge and does not transaminate howler is incorrect if it is a canvas.;
$hypothesis$ = the dideoxycytosine is not a badge and it does not transaminate howler. ; $context$ = sent1: if the holystone does transaminate howler the dideoxycytosine does not badge and it does not transaminate howler. sent2: if the hypnotist is a Anguillan then it is a canvas. sent3: something is lobate if it is not a kind of a windburned. sent4: the holystone is a twang. sent5: something that does not transaminate howler is a kind of non-Yugoslavian thing that is Anguillan. sent6: the dideoxycytosine is not a badge. sent7: the holystone does not log Morpheus and it is not Yugoslavian. sent8: if something is a scone then it is a kind of a fucker. sent9: the hypnotist is a kind of a memento. sent10: the hypnotist is a scone that logs Morpheus. sent11: the fact that the fact that something does not badge and does not transaminate howler is correct is false if it canvases. sent12: the plum is not a kind of a fucker and is not a Irelander. sent13: the hypnotist does not transaminate howler but it canvases if that it does not badge hold. sent14: if something is a fucker it is a canvas. sent15: something is Yugoslavian if it does badge. sent16: the hypnotist is not a kind of a Anguillan if the holystone is a canvas. ; $proof$ = 
sent5 -> int1: if the holystone does not transaminate howler it is not Yugoslavian and it is Anguillan.; void -> assump1: Let's assume that the holystone does not transaminate howler.; int1 & assump1 -> int2: the holystone is not Yugoslavian but Anguillan.; sent14 -> int3: if the fact that the hypnotist is a fucker hold then it is a canvas.; sent8 -> int4: if the hypnotist is a scone then it is a kind of a fucker.; sent10 -> int5: that the hypnotist is not a scone is wrong.; int4 & int5 -> int6: the hypnotist is a fucker.; int3 & int6 -> int7: the hypnotist is a kind of a canvas.; __UNKNOWN__