位置付けすることは発生しないししかも生易しいということは起きない
fact1: 「いみじということと位置付けすることが起きる」ということは「ぽちょぽゆLv.37事件は発生しない」ということを引き起こす fact2: いみじということは起きない fact3: 位置付けすることはいみじということは生じないということを阻止する fact4: 隙間無いということは生じない
void -> assump1: 以下のように仮定する。位置付けすることが生じる; fact3 & assump1 -> int1: いみじということが生じる; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 位置付けすることは起こらない;
void -> assump1: {A}; fact3 & assump1 -> int1: {B}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A};
ぽちょぽゆLv.37事件は発生しない
$facts$ = fact1: 「いみじということと位置付けすることが起きる」ということは「ぽちょぽゆLv.37事件は発生しない」ということを引き起こす fact2: いみじということは起きない fact3: 位置付けすることはいみじということは生じないということを阻止する fact4: 隙間無いということは生じない ; $hypothesis$ = 位置付けすることは発生しないししかも生易しいということは起きない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__