「あのぷのぷねLv.26は諳んずるしそれに傷付き易い」ということは嘘だ
fact1: あのぷのぷねLv.26は傷付き易い fact2: 「あのぷのぷねLv.26は諳んずる」ということは本当である fact3: もし「何らかのモンスターは弾き易くない」ということは成り立つとすると「浅いししかもそれは諳んずる」ということは間違っていない fact4: もしもなんらかのモンスターがびくびくすればそれは弾き易くない fact5: あのぷのぷねLv.26がびくびくするとするとあのみにょみちょLv.77はびくびくする
fact1 -> int1: あのぷのぷねLv.26は傷付き易い; int1 & fact2 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
あのみにょみちょLv.77は傷付き易い
fact6 -> int2: もしもあのみにょみちょLv.77が弾き易くないとするとそれは浅いしかつそれは諳んずる; fact8 -> int3: もし仮にあのみにょみちょLv.77がびくびくするとするとそれは弾き易いということはない;
$facts$ = fact1: あのぷのぷねLv.26は傷付き易い fact2: 「あのぷのぷねLv.26は諳んずる」ということは本当である fact3: もし「何らかのモンスターは弾き易くない」ということは成り立つとすると「浅いししかもそれは諳んずる」ということは間違っていない fact4: もしもなんらかのモンスターがびくびくすればそれは弾き易くない fact5: あのぷのぷねLv.26がびくびくするとするとあのみにょみちょLv.77はびくびくする ; $hypothesis$ = 「あのぷのぷねLv.26は諳んずるしそれに傷付き易い」ということは嘘だ ; $proof$ = 
fact1 -> int1: あのぷのぷねLv.26は傷付き易い; int1 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __DISPROVED__