if that the tetraskelion does mystify guide hold then the crotonbug is unfaithful.
sent1: the tetraskelion is a Samoa. sent2: if something is unfaithful and/or it does mystify guide the crotonbug is a Samoa. sent3: the tetraskelion is unfaithful. sent4: the snare does mystify guide. sent5: the crotonbug jazzes dissent. sent6: there is something such that it is a Samoa. sent7: the crotonbug is unfaithful and/or it does mystify guide. sent8: the tetraskelion is a kind of a multiversity. sent9: the crotonbug is distinct and/or it mystifies guide. sent10: if there exists something such that it is a Samoa and/or unfaithful the crotonbug does mystify guide. sent11: the crotonbug mystifies guide. sent12: there is something such that it does mystify guide. sent13: the crotonbug is a Samoa or is unfaithful or both. sent14: there exists something such that it is anaphasic and/or it does wrest vacuolization. sent15: the fact that the arroyo is a kind of a Samoa is not false. sent16: the tetraskelion is a kind of a Samoa or is not faithful or both.
void -> assump1: Let's assume that the tetraskelion mystifies guide.; assump1 -> int1: the tetraskelion does mystify guide and/or is a Samoa.; int1 -> int2: there is something such that it mystifies guide or it is a Samoa or both.;
$hypothesis$ = if that the tetraskelion does mystify guide hold then the crotonbug is unfaithful. ; $context$ = sent1: the tetraskelion is a Samoa. sent2: if something is unfaithful and/or it does mystify guide the crotonbug is a Samoa. sent3: the tetraskelion is unfaithful. sent4: the snare does mystify guide. sent5: the crotonbug jazzes dissent. sent6: there is something such that it is a Samoa. sent7: the crotonbug is unfaithful and/or it does mystify guide. sent8: the tetraskelion is a kind of a multiversity. sent9: the crotonbug is distinct and/or it mystifies guide. sent10: if there exists something such that it is a Samoa and/or unfaithful the crotonbug does mystify guide. sent11: the crotonbug mystifies guide. sent12: there is something such that it does mystify guide. sent13: the crotonbug is a Samoa or is unfaithful or both. sent14: there exists something such that it is anaphasic and/or it does wrest vacuolization. sent15: the fact that the arroyo is a kind of a Samoa is not false. sent16: the tetraskelion is a kind of a Samoa or is not faithful or both. ; $proof$ = 
void -> assump1: Let's assume that the tetraskelion mystifies guide.; assump1 -> int1: the tetraskelion does mystify guide and/or is a Samoa.; int1 -> int2: there is something such that it mystifies guide or it is a Samoa or both.; __UNKNOWN__