そのみやみいLv.6は受け入れ難くない
fact1: もし眠くないモンスターが脂っこくないならそれは熱苦しくない fact2: もしもあのものもにゃLv.6が熱苦しくないしおまけに掛け難いということはないとすればあのぷくぷちょLv.63は眠い fact3: 「仮にあのぷくぷちょLv.63が眠いならばそのみやみいLv.6は受け入れ難い」ということは成り立つ fact4: 「すべてのモンスターは熱苦しくないしかつ掛け難くない」ということは確かである fact5: とあるモンスターは熱苦しくないなら「掛け難くて更にそれは受け入れ難い」ということは確かでない
fact4 -> int1: あのものもにゃLv.6は熱苦しくないしかつ掛け難くない; int1 & fact2 -> int2: あのぷくぷちょLv.63は眠い; int2 & fact3 -> hypothesis;
fact4 -> int1: (¬{A}{aa} & ¬{B}{aa}); int1 & fact2 -> int2: {C}{a}; int2 & fact3 -> hypothesis;
そのみやみいLv.6は受け入れ難くない
fact6 -> int3: もし仮にこのぴなぴくLv.46は熱苦しくないならば「このぴなぴくLv.46は掛け難いし更にそれは受け入れ難い」ということは誤りだ; fact7 -> int4: 仮にこのぴなぴくLv.46は眠くなくて脂っこくないとしたらそれは熱苦しくない;
$facts$ = fact1: もし眠くないモンスターが脂っこくないならそれは熱苦しくない fact2: もしもあのものもにゃLv.6が熱苦しくないしおまけに掛け難いということはないとすればあのぷくぷちょLv.63は眠い fact3: 「仮にあのぷくぷちょLv.63が眠いならばそのみやみいLv.6は受け入れ難い」ということは成り立つ fact4: 「すべてのモンスターは熱苦しくないしかつ掛け難くない」ということは確かである fact5: とあるモンスターは熱苦しくないなら「掛け難くて更にそれは受け入れ難い」ということは確かでない ; $hypothesis$ = そのみやみいLv.6は受け入れ難くない ; $proof$ = 
fact4 -> int1: あのものもにゃLv.6は熱苦しくないしかつ掛け難くない; int1 & fact2 -> int2: あのぷくぷちょLv.63は眠い; int2 & fact3 -> hypothesis; __DISPROVED__
fact4 -> int1: (¬{A}{aa} & ¬{B}{aa}); int1 & fact2 -> int2: {C}{a}; int2 & fact3 -> hypothesis; __DISPROVED__