「「このもにゅもえLv.1は買い易いしまた小汚い」ということは成り立つ」ということは真実でない
fact1: そのぽよぽちゅLv.37が出入りし易いとしたらそのぽよぽちゅLv.37は推薦する fact2: 広しないモンスターは予期するし浅まし fact3: 仮に「なんらかのモンスターは浅まし」ということは真実ならそのぽよぽちゅLv.37は広しないモンスターでありまたされ易いということはない fact4: 仮にそのぽよぽちゅLv.37は広しないし更にされ易くないとすれば「そのぽよぽちゅLv.37は出入りし易い」ということは間違いでない fact5: もし仮にそのぽよぽちゅLv.37が推薦するとしたらこのもにゅもえLv.1は買い易い fact6: このもにゅもえLv.1は小汚い fact7: 「「浅まし」ということは正しい」モンスターはいる
fact7 & fact3 -> int1: そのぽよぽちゅLv.37は広しないしおまけにそれはされ易くない; int1 & fact4 -> int2: そのぽよぽちゅLv.37は出入りし易い; int2 & fact1 -> int3: そのぽよぽちゅLv.37は推薦する; int3 & fact5 -> int4: このもにゅもえLv.1は買い易い; int4 & fact6 -> hypothesis;
fact7 & fact3 -> int1: (¬{B}{a} & ¬{C}{a}); int1 & fact4 -> int2: {D}{a}; int2 & fact1 -> int3: {E}{a}; int3 & fact5 -> int4: {F}{b}; int4 & fact6 -> hypothesis;
そのぽよぽちゅLv.37は予期する
fact8 -> int5: もし仮にそのぽよぽちゅLv.37が広しないとすればそのぽよぽちゅLv.37は予期するしそれは浅まし;
$facts$ = fact1: そのぽよぽちゅLv.37が出入りし易いとしたらそのぽよぽちゅLv.37は推薦する fact2: 広しないモンスターは予期するし浅まし fact3: 仮に「なんらかのモンスターは浅まし」ということは真実ならそのぽよぽちゅLv.37は広しないモンスターでありまたされ易いということはない fact4: 仮にそのぽよぽちゅLv.37は広しないし更にされ易くないとすれば「そのぽよぽちゅLv.37は出入りし易い」ということは間違いでない fact5: もし仮にそのぽよぽちゅLv.37が推薦するとしたらこのもにゅもえLv.1は買い易い fact6: このもにゅもえLv.1は小汚い fact7: 「「浅まし」ということは正しい」モンスターはいる ; $hypothesis$ = 「「このもにゅもえLv.1は買い易いしまた小汚い」ということは成り立つ」ということは真実でない ; $proof$ = 
fact7 & fact3 -> int1: そのぽよぽちゅLv.37は広しないしおまけにそれはされ易くない; int1 & fact4 -> int2: そのぽよぽちゅLv.37は出入りし易い; int2 & fact1 -> int3: そのぽよぽちゅLv.37は推薦する; int3 & fact5 -> int4: このもにゅもえLv.1は買い易い; int4 & fact6 -> hypothesis; __DISPROVED__
fact7 & fact3 -> int1: (¬{B}{a} & ¬{C}{a}); int1 & fact4 -> int2: {D}{a}; int2 & fact1 -> int3: {E}{a}; int3 & fact5 -> int4: {F}{b}; int4 & fact6 -> hypothesis; __DISPROVED__