そのもちょもねLv.9は苦いということはない
fact1: 仮にこのまにまえLv.41が程近いならばこのまにまえLv.41は気高い fact2: 仮に「そのぽやぽにLv.28は晒すけど粗くない」ということは誤りであるならこのまにまえLv.41は程近い fact3: 仮にこのまにまえLv.41が気高いとしたらそのもちょもねLv.9は苦い fact4: もし仮になんらかのモンスターは疑り深くないとすれば「晒すけど粗くない」ということは嘘である fact5: 程近いモンスターは疑り深い fact6: 仮にそのぽやぽにLv.28が晒さないとするとこのまにまえLv.41は程近い fact7: そのぽやぽにLv.28は疑り深くない
fact4 -> int1: もしもそのぽやぽにLv.28は疑り深くないとしたら「そのぽやぽにLv.28は晒す一方でそれは粗くない」ということは間違っている; int1 & fact7 -> int2: 「「そのぽやぽにLv.28は晒すがしかし粗くない」ということは成り立つ」ということは成り立たない; int2 & fact2 -> int3: このまにまえLv.41は程近い; int3 & fact1 -> int4: このまにまえLv.41は気高い; int4 & fact3 -> hypothesis;
fact4 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact7 -> int2: ¬({AA}{aa} & ¬{AB}{aa}); int2 & fact2 -> int3: {B}{a}; int3 & fact1 -> int4: {C}{a}; int4 & fact3 -> hypothesis;
「このまにまえLv.41は厳しいけど夥しくない」ということは成り立たない
fact8 -> int5: 仮にそのもちょもねLv.9が程近いならばそれは疑り深い;
$facts$ = fact1: 仮にこのまにまえLv.41が程近いならばこのまにまえLv.41は気高い fact2: 仮に「そのぽやぽにLv.28は晒すけど粗くない」ということは誤りであるならこのまにまえLv.41は程近い fact3: 仮にこのまにまえLv.41が気高いとしたらそのもちょもねLv.9は苦い fact4: もし仮になんらかのモンスターは疑り深くないとすれば「晒すけど粗くない」ということは嘘である fact5: 程近いモンスターは疑り深い fact6: 仮にそのぽやぽにLv.28が晒さないとするとこのまにまえLv.41は程近い fact7: そのぽやぽにLv.28は疑り深くない ; $hypothesis$ = そのもちょもねLv.9は苦いということはない ; $proof$ = 
fact4 -> int1: もしもそのぽやぽにLv.28は疑り深くないとしたら「そのぽやぽにLv.28は晒す一方でそれは粗くない」ということは間違っている; int1 & fact7 -> int2: 「「そのぽやぽにLv.28は晒すがしかし粗くない」ということは成り立つ」ということは成り立たない; int2 & fact2 -> int3: このまにまえLv.41は程近い; int3 & fact1 -> int4: このまにまえLv.41は気高い; int4 & fact3 -> hypothesis; __DISPROVED__
fact4 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact7 -> int2: ¬({AA}{aa} & ¬{AB}{aa}); int2 & fact2 -> int3: {B}{a}; int3 & fact1 -> int4: {C}{a}; int4 & fact3 -> hypothesis; __DISPROVED__