以下のように仮定する。売れ続けることが生じる
fact1: 疲れ易いということは売れ続けることおよびぷにぷにょLv.55事件が起きるに防がれる fact2: もしもぷにぷにょLv.55事件は発生しないとすると「売れ続けることは発生しないしおまけに疲れ易いということは生じない」ということは偽だ fact3: ぷにぷにょLv.55事件が起きる fact4: 「まにまちょLv.92事件は発生しないかあるいは厳ついということが起きるかもしくは両方だ」ということは間違いだとしたらもわものLv.39事件は起きない fact5: 疲れ易いということが起こる fact6: もし仮にぴにぴちゃLv.63事件は起こらないとすると「ぷにぷにょLv.55事件としゃしゃり出ることが起こる」ということは誤っている fact7: 「みにょみにょLv.41事件が起きるがぴにぴちゃLv.63事件は発生しない」ということはもわものLv.39事件は生じないということにより生じる fact8: 仮に「ぷにぷにょLv.55事件としゃしゃり出ることが起きる」ということは成り立つということはないならばぷにぷにょLv.55事件は生じない
void -> assump1: 以下のように仮定する。売れ続けることが生じる; assump1 & fact3 -> int1: 売れ続けることが起きるしぷにぷにょLv.55事件が発生する; int1 & fact1 -> int2: 疲れ易いということは発生しない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 & fact3 -> int1: ({A} & {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。売れ続けることが生じる
$facts$ = fact1: 疲れ易いということは売れ続けることおよびぷにぷにょLv.55事件が起きるに防がれる fact2: もしもぷにぷにょLv.55事件は発生しないとすると「売れ続けることは発生しないしおまけに疲れ易いということは生じない」ということは偽だ fact3: ぷにぷにょLv.55事件が起きる fact4: 「まにまちょLv.92事件は発生しないかあるいは厳ついということが起きるかもしくは両方だ」ということは間違いだとしたらもわものLv.39事件は起きない fact5: 疲れ易いということが起こる fact6: もし仮にぴにぴちゃLv.63事件は起こらないとすると「ぷにぷにょLv.55事件としゃしゃり出ることが起こる」ということは誤っている fact7: 「みにょみにょLv.41事件が起きるがぴにぴちゃLv.63事件は発生しない」ということはもわものLv.39事件は生じないということにより生じる fact8: 仮に「ぷにぷにょLv.55事件としゃしゃり出ることが起きる」ということは成り立つということはないならばぷにぷにょLv.55事件は生じない ; $hypothesis$ = 以下のように仮定する。売れ続けることが生じる ; $proof$ = 
void -> assump1: 以下のように仮定する。売れ続けることが生じる; assump1 & fact3 -> int1: 売れ続けることが起きるしぷにぷにょLv.55事件が発生する; int1 & fact1 -> int2: 疲れ易いということは発生しない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}; assump1 & fact3 -> int1: ({A} & {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__