早いということは発生しない
fact1: 追想することおよび焼き難いということが生じる fact2: 追想することが発生する fact3: 早いということが発生するということは口喧しいということかもしくはまよまなLv.32事件に防がれる fact4: 焼き難いということは頷くことは起きないということを阻止する fact5: まよまなLv.32事件は早いということを阻む fact6: 「口喧しいということは発生しない」ということは頷くことに阻まれる
fact1 -> int1: 焼き難いということが起きる; int1 & fact4 -> int2: 頷くことが生じる; int2 & fact6 -> int3: 口喧しいということが生じる; int3 -> int4: 口喧しいということかもしくはまよまなLv.32事件かまたはどちらもが起きる; int4 & fact3 -> hypothesis;
fact1 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 & fact6 -> int3: {D}; int3 -> int4: ({D} v {E}); int4 & fact3 -> hypothesis;
$facts$ = fact1: 追想することおよび焼き難いということが生じる fact2: 追想することが発生する fact3: 早いということが発生するということは口喧しいということかもしくはまよまなLv.32事件に防がれる fact4: 焼き難いということは頷くことは起きないということを阻止する fact5: まよまなLv.32事件は早いということを阻む fact6: 「口喧しいということは発生しない」ということは頷くことに阻まれる ; $hypothesis$ = 早いということは発生しない ; $proof$ = 
fact1 -> int1: 焼き難いということが起きる; int1 & fact4 -> int2: 頷くことが生じる; int2 & fact6 -> int3: 口喧しいということが生じる; int3 -> int4: 口喧しいということかもしくはまよまなLv.32事件かまたはどちらもが起きる; int4 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 & fact6 -> int3: {D}; int3 -> int4: ({D} v {E}); int4 & fact3 -> hypothesis; __PROVED__