「あのぷにゃぷよLv.72は折れ易くないし更に御嵩まない」ということは成り立つということはない
fact1: もし仮にあのぽやぽちょLv.46が高くておまけに抗し難いならばあのぷにゃぷよLv.72は御嵩むということはない fact2: 「あのぽやぽちょLv.46はひもじい」ということは確かだ fact3: ひもじくないモンスターは固くないしおまけに折れ易くない fact4: もしとあるモンスターはひもじいならば「折れ易くないしかつ御嵩まない」ということは成り立たない fact5: ひもじいモンスターは抗し難い fact6: あのぽやぽちょLv.46は高い fact7: あのぷにゃぷよLv.72は折れ易くない
fact5 -> int1: 仮にあのぽやぽちょLv.46がひもじいならあのぽやぽちょLv.46は抗し難い; int1 & fact2 -> int2: あのぽやぽちょLv.46は抗し難い; int2 & fact6 -> int3: あのぽやぽちょLv.46は高くて抗し難い; int3 & fact1 -> int4: あのぷにゃぷよLv.72は御嵩まない; int4 & fact7 -> hypothesis;
fact5 -> int1: {A}{aa} -> {C}{aa}; int1 & fact2 -> int2: {C}{aa}; int2 & fact6 -> int3: ({B}{aa} & {C}{aa}); int3 & fact1 -> int4: ¬{D}{a}; int4 & fact7 -> hypothesis;
このもよもやLv.13は固いということはなくてそれは折れ易いということはない
fact8 -> int5: 「このもよもやLv.13はひもじい」ということは嘘だとするとこのもよもやLv.13は固いということはないししかも折れ易くない;
$facts$ = fact1: もし仮にあのぽやぽちょLv.46が高くておまけに抗し難いならばあのぷにゃぷよLv.72は御嵩むということはない fact2: 「あのぽやぽちょLv.46はひもじい」ということは確かだ fact3: ひもじくないモンスターは固くないしおまけに折れ易くない fact4: もしとあるモンスターはひもじいならば「折れ易くないしかつ御嵩まない」ということは成り立たない fact5: ひもじいモンスターは抗し難い fact6: あのぽやぽちょLv.46は高い fact7: あのぷにゃぷよLv.72は折れ易くない ; $hypothesis$ = 「あのぷにゃぷよLv.72は折れ易くないし更に御嵩まない」ということは成り立つということはない ; $proof$ = 
fact5 -> int1: 仮にあのぽやぽちょLv.46がひもじいならあのぽやぽちょLv.46は抗し難い; int1 & fact2 -> int2: あのぽやぽちょLv.46は抗し難い; int2 & fact6 -> int3: あのぽやぽちょLv.46は高くて抗し難い; int3 & fact1 -> int4: あのぷにゃぷよLv.72は御嵩まない; int4 & fact7 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}{aa} -> {C}{aa}; int1 & fact2 -> int2: {C}{aa}; int2 & fact6 -> int3: ({B}{aa} & {C}{aa}); int3 & fact1 -> int4: ¬{D}{a}; int4 & fact7 -> hypothesis; __DISPROVED__