「あのぷやぷにょLv.83は空恐ろしいしそれに広がり難い」ということは偽だ
fact1: 仮にそのみちゅみやLv.8が寂しいとしたら侘しい fact2: 仮にあのぷやぷにょLv.83が厭わしいとすればあのぷやぷにょLv.83は空恐ろしい fact3: そのみちゅみやLv.8が侘しいならばあのぷやぷにょLv.83は厭わしい fact4: あのぷやぷにょLv.83は広がり難い fact5: 仮になにがしかのモンスターが晴れはましくらないとすれば「それは空恐ろしくてそれは広がり難い」ということは成り立たない fact6: そのみちゅみやLv.8は晴れがましいし寂しい
fact6 -> int1: そのみちゅみやLv.8は寂しい; int1 & fact1 -> int2: そのみちゅみやLv.8は侘しい; int2 & fact3 -> int3: あのぷやぷにょLv.83は厭わしい; int3 & fact2 -> int4: あのぷやぷにょLv.83は空恐ろしい; int4 & fact4 -> hypothesis;
fact6 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact3 -> int3: {D}{b}; int3 & fact2 -> int4: {E}{b}; int4 & fact4 -> hypothesis;
「あのぷやぷにょLv.83は空恐ろしいしそれに広がり難い」ということは偽だ
fact7 -> int5: 仮にあのぷやぷにょLv.83は晴れがましかないならば「あのぷやぷにょLv.83は空恐ろしいしその上広がり難い」ということは間違いだ;
$facts$ = fact1: 仮にそのみちゅみやLv.8が寂しいとしたら侘しい fact2: 仮にあのぷやぷにょLv.83が厭わしいとすればあのぷやぷにょLv.83は空恐ろしい fact3: そのみちゅみやLv.8が侘しいならばあのぷやぷにょLv.83は厭わしい fact4: あのぷやぷにょLv.83は広がり難い fact5: 仮になにがしかのモンスターが晴れはましくらないとすれば「それは空恐ろしくてそれは広がり難い」ということは成り立たない fact6: そのみちゅみやLv.8は晴れがましいし寂しい ; $hypothesis$ = 「あのぷやぷにょLv.83は空恐ろしいしそれに広がり難い」ということは偽だ ; $proof$ = 
fact6 -> int1: そのみちゅみやLv.8は寂しい; int1 & fact1 -> int2: そのみちゅみやLv.8は侘しい; int2 & fact3 -> int3: あのぷやぷにょLv.83は厭わしい; int3 & fact2 -> int4: あのぷやぷにょLv.83は空恐ろしい; int4 & fact4 -> hypothesis; __DISPROVED__
fact6 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact3 -> int3: {D}{b}; int3 & fact2 -> int4: {E}{b}; int4 & fact4 -> hypothesis; __DISPROVED__