the alibiing commitment does not occur.
sent1: the viricidalness does not occur if both the straining department and the alibiing commitment happens. sent2: the psychiatricness does not occur. sent3: the theorizing occurs and the straining department happens. sent4: the viricidalness and the straining ash occurs if the psychiatricness does not occur.
sent3 -> int1: the straining department happens.; void -> assump1: Let's assume that the alibiing commitment occurs.; int1 & assump1 -> int2: the straining department happens and the alibiing commitment happens.; int2 & sent1 -> int3: the viricidalness does not occur.; sent4 & sent2 -> int4: the viricidalness and the straining ash happens.; int4 -> int5: the viricidalness happens.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the alibiing commitment does not occur. ; $context$ = sent1: the viricidalness does not occur if both the straining department and the alibiing commitment happens. sent2: the psychiatricness does not occur. sent3: the theorizing occurs and the straining department happens. sent4: the viricidalness and the straining ash occurs if the psychiatricness does not occur. ; $proof$ = 
sent3 -> int1: the straining department happens.; void -> assump1: Let's assume that the alibiing commitment occurs.; int1 & assump1 -> int2: the straining department happens and the alibiing commitment happens.; int2 & sent1 -> int3: the viricidalness does not occur.; sent4 & sent2 -> int4: the viricidalness and the straining ash happens.; int4 -> int5: the viricidalness happens.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__