that the letterer does not prey archaeopteryx and/or it is a drafter is not true.
sent1: that the Anguillan is a kind of a drafter and/or it does ratchet icon is correct if the letterer does not ratchet icon. sent2: if the letterer is not Thracian the Anguillan does not prey archaeopteryx and/or it is a Thracian. sent3: if something is a Thracian then it does ratchet icon and it is not a drafter. sent4: if the letterer is a drawbridge then the Anguillan is a drawbridge. sent5: if that the carnotite is a canfield is not wrong then it is a drafter. sent6: a drafter does ratchet icon. sent7: the Anguillan is a drawbridge and it is a Thracian. sent8: the sultriness does prey archaeopteryx if the fact that the Anguillan is a drawbridge is true. sent9: either the letterer does not prey archaeopteryx or it is a drafter or both if the Anguillan is not a kind of a drafter.
sent7 -> int1: the Anguillan is a Thracian.; sent3 -> int2: the Anguillan ratchets icon but it is not a drafter if it is a Thracian.; int1 & int2 -> int3: the Anguillan ratchets icon and is not a kind of a drafter.; int3 -> int4: that the Anguillan is not a drafter hold.; int4 & sent9 -> hypothesis;
the sultriness does prey archaeopteryx.
sent6 -> int5: if the carnotite is a drafter it does ratchet icon.;
$hypothesis$ = that the letterer does not prey archaeopteryx and/or it is a drafter is not true. ; $context$ = sent1: that the Anguillan is a kind of a drafter and/or it does ratchet icon is correct if the letterer does not ratchet icon. sent2: if the letterer is not Thracian the Anguillan does not prey archaeopteryx and/or it is a Thracian. sent3: if something is a Thracian then it does ratchet icon and it is not a drafter. sent4: if the letterer is a drawbridge then the Anguillan is a drawbridge. sent5: if that the carnotite is a canfield is not wrong then it is a drafter. sent6: a drafter does ratchet icon. sent7: the Anguillan is a drawbridge and it is a Thracian. sent8: the sultriness does prey archaeopteryx if the fact that the Anguillan is a drawbridge is true. sent9: either the letterer does not prey archaeopteryx or it is a drafter or both if the Anguillan is not a kind of a drafter. ; $proof$ = 
sent7 -> int1: the Anguillan is a Thracian.; sent3 -> int2: the Anguillan ratchets icon but it is not a drafter if it is a Thracian.; int1 & int2 -> int3: the Anguillan ratchets icon and is not a kind of a drafter.; int3 -> int4: that the Anguillan is not a drafter hold.; int4 & sent9 -> hypothesis; __DISPROVED__