「そのもにょもにゅLv.55は生み易いしそれにそれは発揮し易い」ということは誤りだ
fact1: そのもにょもにゅLv.55は発揮し易い fact2: このぴえぴのLv.87が暑いとするとこのまわまちゅLv.32は汚らわしい fact3: もしもあるモンスターがおもろくないならばそれは暑くない一方で汚らわしい fact4: 仮にこのまわまちゅLv.32が汚らわしいならそのもにょもにゅLv.55は生み易い fact5: もしもこのぴえぴのLv.87は暑くないなら「「そのもにょもにゅLv.55が生み易いしその上それは発揮し易い」ということは誤っている」ということは誤りでない fact6: このぴえぴのLv.87は暑い fact7: もしこのまわまちゅLv.32は女っぽくてそれにおもろいとしたら「このぴえぴのLv.87はおもろくない」ということは真実である
fact2 & fact6 -> int1: 「このまわまちゅLv.32は汚らわしい」ということは真実だ; int1 & fact4 -> int2: そのもにょもにゅLv.55は生み易い; int2 & fact1 -> hypothesis;
fact2 & fact6 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{c}; int2 & fact1 -> hypothesis;
「そのもにょもにゅLv.55は生み易いしそれにそれは発揮し易い」ということは誤りだ
fact10 -> int3: 仮にこのぴえぴのLv.87がおもろくないならば暑くないしそれは汚らわしい;
$facts$ = fact1: そのもにょもにゅLv.55は発揮し易い fact2: このぴえぴのLv.87が暑いとするとこのまわまちゅLv.32は汚らわしい fact3: もしもあるモンスターがおもろくないならばそれは暑くない一方で汚らわしい fact4: 仮にこのまわまちゅLv.32が汚らわしいならそのもにょもにゅLv.55は生み易い fact5: もしもこのぴえぴのLv.87は暑くないなら「「そのもにょもにゅLv.55が生み易いしその上それは発揮し易い」ということは誤っている」ということは誤りでない fact6: このぴえぴのLv.87は暑い fact7: もしこのまわまちゅLv.32は女っぽくてそれにおもろいとしたら「このぴえぴのLv.87はおもろくない」ということは真実である ; $hypothesis$ = 「そのもにょもにゅLv.55は生み易いしそれにそれは発揮し易い」ということは誤りだ ; $proof$ = 
fact2 & fact6 -> int1: 「このまわまちゅLv.32は汚らわしい」ということは真実だ; int1 & fact4 -> int2: そのもにょもにゅLv.55は生み易い; int2 & fact1 -> hypothesis; __DISPROVED__
fact2 & fact6 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{c}; int2 & fact1 -> hypothesis; __DISPROVED__