そのぽのぽのLv.30は僻みっぽくない一方でそれは役らしい
fact1: 仮にそのぴのぴえLv.91が毛深いとしたらそのぴえぴわLv.49は水臭い fact2: もし仮にあのもねもにゃLv.36は僻みっぽくないならば「そのぽのぽのLv.30は僻みっぽくないけどそれは役らしい」ということは成り立たない fact3: 「水臭い」モンスターはいる fact4: そのぴのぴえLv.91は毛深い fact5: もしも「水臭いし遣る瀬無い」モンスターがいるとしたらあのもねもにゃLv.36は僻みっぽくない fact6: 「「遣る瀬無い」ということは正しい」モンスターはいる fact7: そのぴえぴわLv.49は遣る瀬無い fact8: 「もしあのもねもにゃLv.36は僻みっぽいということはないなら「そのぽのぽのLv.30は僻みっぽいしそれは役らしい」ということは事実でない」ということは本当である
fact1 & fact4 -> int1: そのぴえぴわLv.49は水臭い; int1 & fact7 -> int2: そのぴえぴわLv.49は水臭いしその上遣る瀬無い; int2 -> int3: 「水臭いし加えて遣る瀬無い」モンスターはいる; int3 & fact5 -> int4: あのもねもにゃLv.36は僻みっぽくない; int4 & fact2 -> hypothesis;
fact1 & fact4 -> int1: {B}{b}; int1 & fact7 -> int2: ({B}{b} & {C}{b}); int2 -> int3: (Ex): ({B}x & {C}x); int3 & fact5 -> int4: ¬{D}{c}; int4 & fact2 -> hypothesis;
$facts$ = fact1: 仮にそのぴのぴえLv.91が毛深いとしたらそのぴえぴわLv.49は水臭い fact2: もし仮にあのもねもにゃLv.36は僻みっぽくないならば「そのぽのぽのLv.30は僻みっぽくないけどそれは役らしい」ということは成り立たない fact3: 「水臭い」モンスターはいる fact4: そのぴのぴえLv.91は毛深い fact5: もしも「水臭いし遣る瀬無い」モンスターがいるとしたらあのもねもにゃLv.36は僻みっぽくない fact6: 「「遣る瀬無い」ということは正しい」モンスターはいる fact7: そのぴえぴわLv.49は遣る瀬無い fact8: 「もしあのもねもにゃLv.36は僻みっぽいということはないなら「そのぽのぽのLv.30は僻みっぽいしそれは役らしい」ということは事実でない」ということは本当である ; $hypothesis$ = そのぽのぽのLv.30は僻みっぽくない一方でそれは役らしい ; $proof$ = 
fact1 & fact4 -> int1: そのぴえぴわLv.49は水臭い; int1 & fact7 -> int2: そのぴえぴわLv.49は水臭いしその上遣る瀬無い; int2 -> int3: 「水臭いし加えて遣る瀬無い」モンスターはいる; int3 & fact5 -> int4: あのもねもにゃLv.36は僻みっぽくない; int4 & fact2 -> hypothesis; __DISPROVED__
fact1 & fact4 -> int1: {B}{b}; int1 & fact7 -> int2: ({B}{b} & {C}{b}); int2 -> int3: (Ex): ({B}x & {C}x); int3 & fact5 -> int4: ¬{D}{c}; int4 & fact2 -> hypothesis; __DISPROVED__