「「まよまちょLv.10事件が生じないしまた突き刺さることは起きない」ということは成り立つ」ということは事実と異なる
fact1: 腹立たしいということが起きる fact2: 理解出来ることが起きる fact3: 「ぴくぴにょLv.39事件が起きるしまた腹立たしいということが起きる」ということは「薄ら寒いということは生じない」ということに繋がる fact4: ぴくぴにょLv.39事件が起こる fact5: 「薄ら寒いということは起こらないが切り倒すことが生じる」ということは流され易いということは起こらないということを発生させる fact6: ぷえぷゆLv.30事件がぴちゃぴゆLv.3事件は生じないということに阻まれる fact7: 切り倒すことが起きる fact8: 仮に「流され易いということが起こる」ということは間違いであるとすると「まよまちょLv.10事件が発生しなくて突き刺さることは生じない」ということは事実と異ならない fact9: もし仮にぴくぴにょLv.39事件は生じないとすれば「まよまちょLv.10事件が起きないしさらに突き刺さることは生じない」ということは偽である fact10: ぴちょぴにょLv.9事件が起きる
fact4 & fact1 -> int1: ぴくぴにょLv.39事件が起きるし更に腹立たしいということが発生する; int1 & fact3 -> int2: 薄ら寒いということは発生しない; int2 & fact7 -> int3: 薄ら寒いということではなく切り倒すことが生じる; int3 & fact5 -> int4: 流され易いということは起きない; int4 & fact8 -> hypothesis;
fact4 & fact1 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact7 -> int3: (¬{C} & {D}); int3 & fact5 -> int4: ¬{E}; int4 & fact8 -> hypothesis;
「「まよまちょLv.10事件が生じないしまた突き刺さることは起きない」ということは成り立つ」ということは事実と異なる
$facts$ = fact1: 腹立たしいということが起きる fact2: 理解出来ることが起きる fact3: 「ぴくぴにょLv.39事件が起きるしまた腹立たしいということが起きる」ということは「薄ら寒いということは生じない」ということに繋がる fact4: ぴくぴにょLv.39事件が起こる fact5: 「薄ら寒いということは起こらないが切り倒すことが生じる」ということは流され易いということは起こらないということを発生させる fact6: ぷえぷゆLv.30事件がぴちゃぴゆLv.3事件は生じないということに阻まれる fact7: 切り倒すことが起きる fact8: 仮に「流され易いということが起こる」ということは間違いであるとすると「まよまちょLv.10事件が発生しなくて突き刺さることは生じない」ということは事実と異ならない fact9: もし仮にぴくぴにょLv.39事件は生じないとすれば「まよまちょLv.10事件が起きないしさらに突き刺さることは生じない」ということは偽である fact10: ぴちょぴにょLv.9事件が起きる ; $hypothesis$ = 「「まよまちょLv.10事件が生じないしまた突き刺さることは起きない」ということは成り立つ」ということは事実と異なる ; $proof$ = 
fact4 & fact1 -> int1: ぴくぴにょLv.39事件が起きるし更に腹立たしいということが発生する; int1 & fact3 -> int2: 薄ら寒いということは発生しない; int2 & fact7 -> int3: 薄ら寒いということではなく切り倒すことが生じる; int3 & fact5 -> int4: 流され易いということは起きない; int4 & fact8 -> hypothesis; __DISPROVED__
fact4 & fact1 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact7 -> int3: (¬{C} & {D}); int3 & fact5 -> int4: ¬{E}; int4 & fact8 -> hypothesis; __DISPROVED__