「ぽくぽのLv.63事件が発生するかまたは油通しすることは発生する」ということは事実でない
fact1: もし仮に紛失することは起こらないなら「見極め難いということかあるいはぷにゃぷゆLv.63事件かどちらもが生じる」ということは成り立つ fact2: 「ぽくぽのLv.63事件が起きないかまたは油通しすることは起こらない」ということは「考え深いということが発生する」ということに起因する fact3: 「痩せ難いということは起こらない」ということは事実だ fact4: 「ぽくぽのLv.63事件は発生しない」ということは成り立つなら「痩せ難いということは起きないけどみねみねLv.51事件が発生する」ということは成り立つ fact5: もし考え深いということは生じないとすると「ぽくぽのLv.63事件が起こるかもしくは油通しすることが起きるかもしくは両方ともだ」ということは嘘だ fact6: 「痩せ難いということは生じないがしかしみねみねLv.51事件が生じる」ということは成り立たない fact7: 「見極め難いということが生じる」ということは「ぷにゃぷゆLv.63事件は発生しないし更に考え深いということは起きない」ということのきっかけとなる
void -> assump1: 以下のように仮定する。ぽくぽのLv.63事件は発生しない; fact4 & assump1 -> int1: 痩せ難いということは生じないけれどみねみねLv.51事件が生じる; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: ぽくぽのLv.63事件が起こる; int3 -> hypothesis;
void -> assump1: ¬{A}; fact4 & assump1 -> int1: (¬{AA} & {AB}); int1 & fact6 -> int2: #F#; [assump1] & int2 -> int3: {A}; int3 -> hypothesis;
生え易いということは起きないがしかしまわまよLv.54事件が発生する
$facts$ = fact1: もし仮に紛失することは起こらないなら「見極め難いということかあるいはぷにゃぷゆLv.63事件かどちらもが生じる」ということは成り立つ fact2: 「ぽくぽのLv.63事件が起きないかまたは油通しすることは起こらない」ということは「考え深いということが発生する」ということに起因する fact3: 「痩せ難いということは起こらない」ということは事実だ fact4: 「ぽくぽのLv.63事件は発生しない」ということは成り立つなら「痩せ難いということは起きないけどみねみねLv.51事件が発生する」ということは成り立つ fact5: もし考え深いということは生じないとすると「ぽくぽのLv.63事件が起こるかもしくは油通しすることが起きるかもしくは両方ともだ」ということは嘘だ fact6: 「痩せ難いということは生じないがしかしみねみねLv.51事件が生じる」ということは成り立たない fact7: 「見極め難いということが生じる」ということは「ぷにゃぷゆLv.63事件は発生しないし更に考え深いということは起きない」ということのきっかけとなる ; $hypothesis$ = 「ぽくぽのLv.63事件が発生するかまたは油通しすることは発生する」ということは事実でない ; $proof$ = 
void -> assump1: 以下のように仮定する。ぽくぽのLv.63事件は発生しない; fact4 & assump1 -> int1: 痩せ難いということは生じないけれどみねみねLv.51事件が生じる; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: ぽくぽのLv.63事件が起こる; int3 -> hypothesis; __DISPROVED__
void -> assump1: ¬{A}; fact4 & assump1 -> int1: (¬{AA} & {AB}); int1 & fact6 -> int2: #F#; [assump1] & int2 -> int3: {A}; int3 -> hypothesis; __DISPROVED__