アメリカっぽいということは生じない
fact1: もし仮に「真新しいということが起こる」ということは正しいなら真新しいということが生じるがしかしぽにゃぽくLv.36事件は生じない fact2: 人懐こいということはアメリカっぽいということを招く fact3: 「ぷえぷにゃLv.38事件が起きないしさらにまのまゆLv.53事件は起きない」ということは成り立たないとするとぷえぷにゃLv.38事件が起きる fact4: 人懐こいということは起きないということは「ぽにゃぽくLv.36事件は発生しない」ということに防がれる fact5: みいみよLv.65事件が起こる fact6: もし仮にみいみよLv.65事件は起きないとすれば腐り易いということは発生しなくて真新しいということは生じない fact7: 見え辛いということおよび大勝することどちらもが起こる fact8: もしも見え辛いということが起きるとしたら「ぷえぷにゃLv.38事件は起こらなくてまのまゆLv.53事件は生じない」ということは間違っている fact9: 真新しいということおよびみいみよLv.65事件が生じる
fact9 -> int1: 真新しいということが起こる; int1 & fact1 -> int2: 真新しいということが起きるけれどぽにゃぽくLv.36事件は起きない; int2 -> int3: ぽにゃぽくLv.36事件は発生しない; int3 & fact4 -> int4: 人懐こいということが発生する; int4 & fact2 -> hypothesis;
fact9 -> int1: {A}; int1 & fact1 -> int2: ({A} & ¬{C}); int2 -> int3: ¬{C}; int3 & fact4 -> int4: {D}; int4 & fact2 -> hypothesis;
ぷえぷにゃLv.38事件が起きるけれど腐り易いということは生じない
fact13 -> int5: 見え辛いということが生じる; fact12 & int5 -> int6: 「ぷえぷにゃLv.38事件が発生しないしまのまゆLv.53事件は起こらない」ということは成り立たない; fact11 & int6 -> int7: ぷえぷにゃLv.38事件が起きる;
$facts$ = fact1: もし仮に「真新しいということが起こる」ということは正しいなら真新しいということが生じるがしかしぽにゃぽくLv.36事件は生じない fact2: 人懐こいということはアメリカっぽいということを招く fact3: 「ぷえぷにゃLv.38事件が起きないしさらにまのまゆLv.53事件は起きない」ということは成り立たないとするとぷえぷにゃLv.38事件が起きる fact4: 人懐こいということは起きないということは「ぽにゃぽくLv.36事件は発生しない」ということに防がれる fact5: みいみよLv.65事件が起こる fact6: もし仮にみいみよLv.65事件は起きないとすれば腐り易いということは発生しなくて真新しいということは生じない fact7: 見え辛いということおよび大勝することどちらもが起こる fact8: もしも見え辛いということが起きるとしたら「ぷえぷにゃLv.38事件は起こらなくてまのまゆLv.53事件は生じない」ということは間違っている fact9: 真新しいということおよびみいみよLv.65事件が生じる ; $hypothesis$ = アメリカっぽいということは生じない ; $proof$ = 
fact9 -> int1: 真新しいということが起こる; int1 & fact1 -> int2: 真新しいということが起きるけれどぽにゃぽくLv.36事件は起きない; int2 -> int3: ぽにゃぽくLv.36事件は発生しない; int3 & fact4 -> int4: 人懐こいということが発生する; int4 & fact2 -> hypothesis; __DISPROVED__
fact9 -> int1: {A}; int1 & fact1 -> int2: ({A} & ¬{C}); int2 -> int3: ¬{C}; int3 & fact4 -> int4: {D}; int4 & fact2 -> hypothesis; __DISPROVED__