「全面リフォームすることが発生するしおまけに築き難いということが起こる」ということは誤っている
fact1: もし赤しということは生じないとすれば「「全面リフォームすることが発生するし築き難いということが起きる」ということは成り立たない」ということは偽でない fact2: 「ぽなぽにゅLv.47事件が発生する」ということは成り立つとすると「ぽわぽなLv.28事件が起きるがぴいぴくLv.91事件は起こらない」ということは事実と異なる fact3: 全面リフォームすることが生じる fact4: 「築き難いということが起こる」ということは事実だ fact5: 仮に「ぽわぽなLv.28事件が起きるがしかしぴいぴくLv.91事件は起こらない」ということは間違っているとすれば「赤しということは起こらない」ということは確かである
fact3 -> int1: 全面リフォームすることが生じる; int1 & fact4 -> hypothesis;
fact3 -> int1: {A}; int1 & fact4 -> hypothesis;
「全面リフォームすることが発生するしおまけに築き難いということが起こる」ということは誤っている
$facts$ = fact1: もし赤しということは生じないとすれば「「全面リフォームすることが発生するし築き難いということが起きる」ということは成り立たない」ということは偽でない fact2: 「ぽなぽにゅLv.47事件が発生する」ということは成り立つとすると「ぽわぽなLv.28事件が起きるがぴいぴくLv.91事件は起こらない」ということは事実と異なる fact3: 全面リフォームすることが生じる fact4: 「築き難いということが起こる」ということは事実だ fact5: 仮に「ぽわぽなLv.28事件が起きるがしかしぴいぴくLv.91事件は起こらない」ということは間違っているとすれば「赤しということは起こらない」ということは確かである ; $hypothesis$ = 「全面リフォームすることが発生するしおまけに築き難いということが起こる」ということは誤っている ; $proof$ = 
fact3 -> int1: 全面リフォームすることが生じる; int1 & fact4 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}; int1 & fact4 -> hypothesis; __DISPROVED__