このぽいぽにょLv.49は想像し難い一方でそれは心置き無いということはない
fact1: あのまちゅまにLv.84は掛け難い fact2: もしもそのぽくぽよLv.10が所らしいとしたらあのまちゅまにLv.84は先ずする fact3: 「そのぽくぽよLv.10は拭い難いけど没しない」ということは確かだということはない fact4: もし仮に「そのぽくぽよLv.10は拭い難いけど没しない」ということは成り立たないとしたらそのぽくぽよLv.10は所らしい fact5: もしあのまちゅまにLv.84が先ずするしそれにそれは掛け難いとすると「あのまちゅまにLv.84は心置き無いということはない」ということは事実である fact6: もし「とあるモンスターは先ずする」ということは事実だとすれば溶け難い fact7: 仮にそのぽくぽよLv.10は拭い難いということはないなら「そのぽくぽよLv.10は所らしい」ということは事実である fact8: 仮に「「掛け難くない」モンスターはいる」ということは正しいとすればそのぽくぽよLv.10は所らしいか先ずする fact9: 「このぽいぽにょLv.49は想像し難いし心置き無い」ということは誤りである fact10: 仮にあのまちゅまにLv.84は心置き無くないとしたら「このぽいぽにょLv.49は想像し難い一方でそれは心置き無くない」ということは誤りである
fact4 & fact3 -> int1: そのぽくぽよLv.10は所らしい; int1 & fact2 -> int2: あのまちゅまにLv.84は先ずする; int2 & fact1 -> int3: あのまちゅまにLv.84は先ずするし加えて掛け難い; int3 & fact5 -> int4: あのまちゅまにLv.84は心置き無くない; int4 & fact10 -> hypothesis;
fact4 & fact3 -> int1: {B}{a}; int1 & fact2 -> int2: {A}{b}; int2 & fact1 -> int3: ({A}{b} & {C}{b}); int3 & fact5 -> int4: ¬{D}{b}; int4 & fact10 -> hypothesis;
このまねまにゃLv.45は溶け難くてそれは想像し難い
fact11 -> int5: もしもこのまねまにゃLv.45が先ずするとしたら溶け難い;
$facts$ = fact1: あのまちゅまにLv.84は掛け難い fact2: もしもそのぽくぽよLv.10が所らしいとしたらあのまちゅまにLv.84は先ずする fact3: 「そのぽくぽよLv.10は拭い難いけど没しない」ということは確かだということはない fact4: もし仮に「そのぽくぽよLv.10は拭い難いけど没しない」ということは成り立たないとしたらそのぽくぽよLv.10は所らしい fact5: もしあのまちゅまにLv.84が先ずするしそれにそれは掛け難いとすると「あのまちゅまにLv.84は心置き無いということはない」ということは事実である fact6: もし「とあるモンスターは先ずする」ということは事実だとすれば溶け難い fact7: 仮にそのぽくぽよLv.10は拭い難いということはないなら「そのぽくぽよLv.10は所らしい」ということは事実である fact8: 仮に「「掛け難くない」モンスターはいる」ということは正しいとすればそのぽくぽよLv.10は所らしいか先ずする fact9: 「このぽいぽにょLv.49は想像し難いし心置き無い」ということは誤りである fact10: 仮にあのまちゅまにLv.84は心置き無くないとしたら「このぽいぽにょLv.49は想像し難い一方でそれは心置き無くない」ということは誤りである ; $hypothesis$ = このぽいぽにょLv.49は想像し難い一方でそれは心置き無いということはない ; $proof$ = 
fact4 & fact3 -> int1: そのぽくぽよLv.10は所らしい; int1 & fact2 -> int2: あのまちゅまにLv.84は先ずする; int2 & fact1 -> int3: あのまちゅまにLv.84は先ずするし加えて掛け難い; int3 & fact5 -> int4: あのまちゅまにLv.84は心置き無くない; int4 & fact10 -> hypothesis; __DISPROVED__
fact4 & fact3 -> int1: {B}{a}; int1 & fact2 -> int2: {A}{b}; int2 & fact1 -> int3: ({A}{b} & {C}{b}); int3 & fact5 -> int4: ¬{D}{b}; int4 & fact10 -> hypothesis; __DISPROVED__