the Bavarian does not occur.
sent1: if the companying Tate does not occur then the signing C-horizon does not occur. sent2: if the signing recto occurs the dwelling occurs. sent3: the canonist is caused by the practicalness. sent4: the signing recto happens if the companying Tate happens. sent5: the signing Agassiz happens. sent6: the clearing Lepanto does not occur. sent7: the craniotomy happens. sent8: the Bavarianness happens if the dwelling occurs. sent9: the signing C-horizon occurs.
void -> assump1: Let's assume that the companying Tate does not occur.; sent1 & assump1 -> int1: the signing C-horizon does not occur.; int1 & sent9 -> int2: this is contradiction.; [assump1] & int2 -> int3: the companying Tate happens.; int3 & sent4 -> int4: the signing recto happens.; int4 & sent2 -> int5: the dwelling happens.; int5 & sent8 -> hypothesis;
$hypothesis$ = the Bavarian does not occur. ; $context$ = sent1: if the companying Tate does not occur then the signing C-horizon does not occur. sent2: if the signing recto occurs the dwelling occurs. sent3: the canonist is caused by the practicalness. sent4: the signing recto happens if the companying Tate happens. sent5: the signing Agassiz happens. sent6: the clearing Lepanto does not occur. sent7: the craniotomy happens. sent8: the Bavarianness happens if the dwelling occurs. sent9: the signing C-horizon occurs. ; $proof$ = 
void -> assump1: Let's assume that the companying Tate does not occur.; sent1 & assump1 -> int1: the signing C-horizon does not occur.; int1 & sent9 -> int2: this is contradiction.; [assump1] & int2 -> int3: the companying Tate happens.; int3 & sent4 -> int4: the signing recto happens.; int4 & sent2 -> int5: the dwelling happens.; int5 & sent8 -> hypothesis; __DISPROVED__