the fact that there exists something such that if it is a Cynewulf then it does master Trinitarianism does not hold.
sent1: something is argentous if it is not a bucket and it is stormy. sent2: the appointment does master Trinitarianism if it is not stormy and it is a kind of a Cynewulf. sent3: the appointment is both not stormy and not virological. sent4: the appointment is not virological.
sent3 -> int1: the appointment is non-stormy.; void -> assump1: Let's assume that the appointment is a Cynewulf.; int1 & assump1 -> int2: the appointment is not stormy but a Cynewulf.; int2 & sent2 -> int3: the appointment does master Trinitarianism.; [assump1] & int3 -> int4: the appointment masters Trinitarianism if it is a kind of a Cynewulf.; int4 -> hypothesis;
the appointment is argentous if it is not a bucket but stormy.
sent1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is a Cynewulf then it does master Trinitarianism does not hold. ; $context$ = sent1: something is argentous if it is not a bucket and it is stormy. sent2: the appointment does master Trinitarianism if it is not stormy and it is a kind of a Cynewulf. sent3: the appointment is both not stormy and not virological. sent4: the appointment is not virological. ; $proof$ = 
sent3 -> int1: the appointment is non-stormy.; void -> assump1: Let's assume that the appointment is a Cynewulf.; int1 & assump1 -> int2: the appointment is not stormy but a Cynewulf.; int2 & sent2 -> int3: the appointment does master Trinitarianism.; [assump1] & int3 -> int4: the appointment masters Trinitarianism if it is a kind of a Cynewulf.; int4 -> hypothesis; __DISPROVED__