「あのもよもやLv.79はおっきいがそれは枯らさない」ということは間違いである
fact1: 仮に「なんらかのモンスターは手酷いけれどそれは引き攣れるということはない」ということは成り立たないとすると手酷くない fact2: もしおっきいモンスターであってそれに枯らさないモンスターがいるとすればそのぽいぽちょLv.17は手酷いということはない fact3: もしおっきいモンスターが枯らせばそのぽいぽちょLv.17は手酷くない fact4: 手酷くないモンスターはおっきいけど枯らさない fact5: 仮におっきくないモンスターが枯らすならそれはいじましくない
void -> assump1: 以下のように仮定する。あのもよもやLv.79はおっきい一方で枯らすということはない; assump1 -> int1: おっきいモンスターであってそれに枯らさないモンスターはいる; int1 & fact2 -> int2: そのぽいぽちょLv.17は手酷くない;
void -> assump1: ({A}{aa} & ¬{B}{aa}); assump1 -> int1: (Ex): ({A}x & ¬{B}x); int1 & fact2 -> int2: ¬{C}{a};
以下のように仮定する。あのもよもやLv.79はおっきい一方で枯らすということはない
fact7 -> int3: もし仮にあのもよもやLv.79が手酷くないならあのもよもやLv.79はおっきいがそれは枯らさない; fact6 -> int4: 「あのもよもやLv.79は手酷いけど引き攣れるということはない」ということは間違いならばあのもよもやLv.79は手酷くない;
$facts$ = fact1: 仮に「なんらかのモンスターは手酷いけれどそれは引き攣れるということはない」ということは成り立たないとすると手酷くない fact2: もしおっきいモンスターであってそれに枯らさないモンスターがいるとすればそのぽいぽちょLv.17は手酷いということはない fact3: もしおっきいモンスターが枯らせばそのぽいぽちょLv.17は手酷くない fact4: 手酷くないモンスターはおっきいけど枯らさない fact5: 仮におっきくないモンスターが枯らすならそれはいじましくない ; $hypothesis$ = 「あのもよもやLv.79はおっきいがそれは枯らさない」ということは間違いである ; $proof$ = 
__UNKNOWN__
__UNKNOWN__