「「あのぽいぽにゅLv.16が心細いしその上それは陳謝する」ということは事実である」ということは成り立たない
fact1: あらゆるモンスターは改組しないしおまけにアメリカっぽくない fact2: 仮にそのまにゃまにゃLv.29は改組しなくてしかもアメリカっぽくないとすると「あのぽいぽにゅLv.16は心細い」ということは成り立つ fact3: あのぽいぽにゅLv.16は陳謝する
fact1 -> int1: 「そのまにゃまにゃLv.29は改組しないしアメリカっぽいということはない」ということは成り立つ; int1 & fact2 -> int2: あのぽいぽにゅLv.16は心細い; int2 & fact3 -> hypothesis;
fact1 -> int1: (¬{A}{aa} & ¬{B}{aa}); int1 & fact2 -> int2: {C}{a}; int2 & fact3 -> hypothesis;
$facts$ = fact1: あらゆるモンスターは改組しないしおまけにアメリカっぽくない fact2: 仮にそのまにゃまにゃLv.29は改組しなくてしかもアメリカっぽくないとすると「あのぽいぽにゅLv.16は心細い」ということは成り立つ fact3: あのぽいぽにゅLv.16は陳謝する ; $hypothesis$ = 「「あのぽいぽにゅLv.16が心細いしその上それは陳謝する」ということは事実である」ということは成り立たない ; $proof$ = 
fact1 -> int1: 「そのまにゃまにゃLv.29は改組しないしアメリカっぽいということはない」ということは成り立つ; int1 & fact2 -> int2: あのぽいぽにゅLv.16は心細い; int2 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: (¬{A}{aa} & ¬{B}{aa}); int1 & fact2 -> int2: {C}{a}; int2 & fact3 -> hypothesis; __DISPROVED__