the fact that there exists something such that if it patrols interferon or is a kind of a gunmetal or both it is non-totemic is not true.
sent1: the fact that something is totemic if it patrols interferon and/or is a gunmetal is not incorrect. sent2: something is not totemic if it is a kind of a gunmetal. sent3: if something is not non-accentual and/or it revises midway it is not totemic. sent4: something is not totemic if it does patrol interferon and/or it is a kind of a gunmetal. sent5: if the armband is anatomic and/or it is a Hoffmann it does not revise lack.
sent4 -> int1: if the midway patrols interferon and/or it is a kind of a gunmetal then it is not totemic.; int1 -> hypothesis;
the midway is not totemic if it is accentual and/or it does revise midway.
sent3 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it patrols interferon or is a kind of a gunmetal or both it is non-totemic is not true. ; $context$ = sent1: the fact that something is totemic if it patrols interferon and/or is a gunmetal is not incorrect. sent2: something is not totemic if it is a kind of a gunmetal. sent3: if something is not non-accentual and/or it revises midway it is not totemic. sent4: something is not totemic if it does patrol interferon and/or it is a kind of a gunmetal. sent5: if the armband is anatomic and/or it is a Hoffmann it does not revise lack. ; $proof$ = 
sent4 -> int1: if the midway patrols interferon and/or it is a kind of a gunmetal then it is not totemic.; int1 -> hypothesis; __DISPROVED__