the fact that the teasing does not occur but the theology happens is not right.
sent1: the boot does not occur if that the referring saran occurs and the unbracing does not occur is false. sent2: the boot occurs. sent3: the Gilbertianness occurs. sent4: that the Gilbertianness but not the unbracing happens prevents that the teasing happens. sent5: the theology occurs.
void -> assump1: Let's assume that the fact that the referring saran but not the unbracing happens is wrong.; sent1 & assump1 -> int1: the booting does not occur.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the referring saran but not the unbracing occurs.; int3 -> int4: the unbracing does not occur.; int4 & sent3 -> int5: the Gilbertianness happens and the unbracing does not occur.; int5 & sent4 -> int6: the fact that the teasing does not occur is not wrong.; int6 & sent5 -> hypothesis;
$hypothesis$ = the fact that the teasing does not occur but the theology happens is not right. ; $context$ = sent1: the boot does not occur if that the referring saran occurs and the unbracing does not occur is false. sent2: the boot occurs. sent3: the Gilbertianness occurs. sent4: that the Gilbertianness but not the unbracing happens prevents that the teasing happens. sent5: the theology occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the referring saran but not the unbracing happens is wrong.; sent1 & assump1 -> int1: the booting does not occur.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the referring saran but not the unbracing occurs.; int3 -> int4: the unbracing does not occur.; int4 & sent3 -> int5: the Gilbertianness happens and the unbracing does not occur.; int5 & sent4 -> int6: the fact that the teasing does not occur is not wrong.; int6 & sent5 -> hypothesis; __DISPROVED__