the fact that that the shoot-down occurs is not wrong if the sobriety does not occur is not true.
sent1: the replacing occurs and the Litany occurs. sent2: if the fact that the Litany occurs but the unmaking wordbook does not occur is wrong the unmaking wordbook happens. sent3: the unmaking Fremontodendron happens if the intracranialness does not occur and the sobriety does not occur. sent4: the contrapuntalness happens. sent5: the intracranialness does not occur if the replacing happens and the contrapuntalness occurs. sent6: that the Litany occurs but the unmaking wordbook does not occur is false if the replacing does not occur. sent7: that the shoot-down does not occur is prevented by the unmaking Fremontodendron. sent8: the Requiem happens.
sent1 -> int1: the replacing happens.; int1 & sent4 -> int2: the replacing happens and the contrapuntalness happens.; int2 & sent5 -> int3: the fact that the intracranialness does not occur is not false.; void -> assump1: Let's assume that the sobriety does not occur.; int3 & assump1 -> int4: the fact that the intracranialness does not occur and the sobriety does not occur hold.; int4 & sent3 -> int5: the unmaking Fremontodendron occurs.; int5 & sent7 -> int6: the shoot-down happens.; [assump1] & int6 -> hypothesis;
the unmaking wordbook occurs.
$hypothesis$ = the fact that that the shoot-down occurs is not wrong if the sobriety does not occur is not true. ; $context$ = sent1: the replacing occurs and the Litany occurs. sent2: if the fact that the Litany occurs but the unmaking wordbook does not occur is wrong the unmaking wordbook happens. sent3: the unmaking Fremontodendron happens if the intracranialness does not occur and the sobriety does not occur. sent4: the contrapuntalness happens. sent5: the intracranialness does not occur if the replacing happens and the contrapuntalness occurs. sent6: that the Litany occurs but the unmaking wordbook does not occur is false if the replacing does not occur. sent7: that the shoot-down does not occur is prevented by the unmaking Fremontodendron. sent8: the Requiem happens. ; $proof$ = 
sent1 -> int1: the replacing happens.; int1 & sent4 -> int2: the replacing happens and the contrapuntalness happens.; int2 & sent5 -> int3: the fact that the intracranialness does not occur is not false.; void -> assump1: Let's assume that the sobriety does not occur.; int3 & assump1 -> int4: the fact that the intracranialness does not occur and the sobriety does not occur hold.; int4 & sent3 -> int5: the unmaking Fremontodendron occurs.; int5 & sent7 -> int6: the shoot-down happens.; [assump1] & int6 -> hypothesis; __DISPROVED__