以下のように仮定する。物憂いということが起きる
fact1: 「ぴねぴやLv.15事件およびぴくぴやLv.82事件が起こる」ということはぷわぷちゅLv.12事件を回避する fact2: もし仮に書き難いということが発生すれば「惚気ることが起きるし弾き易いということは起こらない」ということは偽だ fact3: 因り難いということは生じないということはぴねぴやLv.62事件かあるいは立ち上がり掛けることかどちらもを誘発する fact4: もくもなLv.43事件が起きる fact5: もし仮に「惚気ることが発生するがしかし弾き易いということは生じない」ということは成り立たないとすると惚気ることは生じない fact6: もにゅもやLv.2事件が起こる fact7: 「惚気ることは生じない」ということは「もにゅもやLv.2事件が起こるかあるいはもくもなLv.43事件が生じるかどちらもだ」ということを引き起こす fact8: もくもなLv.43事件と物憂いということが発生するは「もにゅもやLv.2事件は起こらない」ということをもたらす
void -> assump1: 以下のように仮定する。物憂いということが起きる; fact4 & assump1 -> int1: もくもなLv.43事件および物憂いということが起こる; int1 & fact8 -> int2: もにゅもやLv.2事件は発生しない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; fact4 & assump1 -> int1: ({A} & {B}); int1 & fact8 -> int2: ¬{C}; int2 & fact6 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。物憂いということが起きる
$facts$ = fact1: 「ぴねぴやLv.15事件およびぴくぴやLv.82事件が起こる」ということはぷわぷちゅLv.12事件を回避する fact2: もし仮に書き難いということが発生すれば「惚気ることが起きるし弾き易いということは起こらない」ということは偽だ fact3: 因り難いということは生じないということはぴねぴやLv.62事件かあるいは立ち上がり掛けることかどちらもを誘発する fact4: もくもなLv.43事件が起きる fact5: もし仮に「惚気ることが発生するがしかし弾き易いということは生じない」ということは成り立たないとすると惚気ることは生じない fact6: もにゅもやLv.2事件が起こる fact7: 「惚気ることは生じない」ということは「もにゅもやLv.2事件が起こるかあるいはもくもなLv.43事件が生じるかどちらもだ」ということを引き起こす fact8: もくもなLv.43事件と物憂いということが発生するは「もにゅもやLv.2事件は起こらない」ということをもたらす ; $hypothesis$ = 以下のように仮定する。物憂いということが起きる ; $proof$ = 
void -> assump1: 以下のように仮定する。物憂いということが起きる; fact4 & assump1 -> int1: もくもなLv.43事件および物憂いということが起こる; int1 & fact8 -> int2: もにゅもやLv.2事件は発生しない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {B}; fact4 & assump1 -> int1: ({A} & {B}); int1 & fact8 -> int2: ¬{C}; int2 & fact6 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__