that there exists something such that if it is an aloha and is not a shred then it is dyadic is not true.
sent1: if something is an aloha and not a shred it is dyadic.
sent1 -> int1: the magneto is dyadic if it is an aloha but not a shred.; int1 -> hypothesis;
$hypothesis$ = that there exists something such that if it is an aloha and is not a shred then it is dyadic is not true. ; $context$ = sent1: if something is an aloha and not a shred it is dyadic. ; $proof$ = 
sent1 -> int1: the magneto is dyadic if it is an aloha but not a shred.; int1 -> hypothesis; __DISPROVED__