「「あのぽいぽいLv.74は小高いしかつそれは等し」ということは真実である」ということは嘘だ
fact1: あのぽいぽいLv.74は小高い fact2: あのぽいぽいLv.74は等し fact3: もしもあるモンスターは歩き辛くないなら「小高いし等し」ということは間違っている fact4: もし仮になにがしかのモンスターは履行し合わないならば「重いということはないけれど歩き辛い」ということは確かでない fact5: 仮に「あのぽいぽいLv.74は重くないけど歩き辛い」ということは偽だとすると歩き辛くない fact6: 腫れぼったいモンスターであり見紛うモンスターは履行し合わない
fact1 -> int1: あのぽいぽいLv.74は小高い; int1 & fact2 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
「「あのぽいぽいLv.74は小高いしかつそれは等し」ということは真実である」ということは嘘だ
fact8 -> int2: もしあのぽいぽいLv.74は歩き辛くないなら「あのぽいぽいLv.74は小高くてそれに等し」ということは誤っている; fact7 -> int3: もしもあのぽいぽいLv.74は履行し合わないとすると「重くないし加えてそれは歩き辛い」ということは成り立たない; fact9 -> int4: もしあのぽいぽいLv.74は腫れぼったいしまた見紛うとすれば履行し合わない;
$facts$ = fact1: あのぽいぽいLv.74は小高い fact2: あのぽいぽいLv.74は等し fact3: もしもあるモンスターは歩き辛くないなら「小高いし等し」ということは間違っている fact4: もし仮になにがしかのモンスターは履行し合わないならば「重いということはないけれど歩き辛い」ということは確かでない fact5: 仮に「あのぽいぽいLv.74は重くないけど歩き辛い」ということは偽だとすると歩き辛くない fact6: 腫れぼったいモンスターであり見紛うモンスターは履行し合わない ; $hypothesis$ = 「「あのぽいぽいLv.74は小高いしかつそれは等し」ということは真実である」ということは嘘だ ; $proof$ = 
fact1 -> int1: あのぽいぽいLv.74は小高い; int1 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __DISPROVED__