ちぎれ易いということが生じる
fact1: 「湿っぽいということと仕うことが生じる」ということは成り立たない fact2: 「仮に「湿っぽいということは発生するし仕うことは発生しない」ということは間違っているとしたらちぎれ易いということが起きる」ということは確かである fact3: もしぽちょぽちゃLv.90事件が起こるならぷよぷにLv.18事件が発生しないししかも仕うことは発生しない fact4: ちぎれ易いということは生じないということは「仕うことが生じる」ということに阻まれる fact5: 湿っぽいということは生じない fact6: 仕うことは発生しない fact7: 仮に「「親しいということが起こる一方で台頭し始めることは起こらない」ということは嘘でない」ということは誤りだとすればこそばゆいということが発生する
void -> assump1: 以下のように仮定する。「湿っぽいということが起こるし仕うことは起きない」ということは真実である; assump1 -> int1: 湿っぽいということが生じる; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「湿っぽいということが起こるし仕うことは起きない」ということは間違いだ; int3 & fact2 -> hypothesis;
void -> assump1: ({A} & ¬{B}); assump1 -> int1: {A}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> int3: ¬({A} & ¬{B}); int3 & fact2 -> hypothesis;
ちぎれ易いということは起こらない
$facts$ = fact1: 「湿っぽいということと仕うことが生じる」ということは成り立たない fact2: 「仮に「湿っぽいということは発生するし仕うことは発生しない」ということは間違っているとしたらちぎれ易いということが起きる」ということは確かである fact3: もしぽちょぽちゃLv.90事件が起こるならぷよぷにLv.18事件が発生しないししかも仕うことは発生しない fact4: ちぎれ易いということは生じないということは「仕うことが生じる」ということに阻まれる fact5: 湿っぽいということは生じない fact6: 仕うことは発生しない fact7: 仮に「「親しいということが起こる一方で台頭し始めることは起こらない」ということは嘘でない」ということは誤りだとすればこそばゆいということが発生する ; $hypothesis$ = ちぎれ易いということが生じる ; $proof$ = 
void -> assump1: 以下のように仮定する。「湿っぽいということが起こるし仕うことは起きない」ということは真実である; assump1 -> int1: 湿っぽいということが生じる; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「湿っぽいということが起こるし仕うことは起きない」ということは間違いだ; int3 & fact2 -> hypothesis; __PROVED__
void -> assump1: ({A} & ¬{B}); assump1 -> int1: {A}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> int3: ¬({A} & ¬{B}); int3 & fact2 -> hypothesis; __PROVED__