「もし仮に「流れ易い」ということは確かであるなら「憎らしくて観察し易くない」ということは成り立つということはない」モンスターはいる
fact1: 「流れ易いなら「憎らしいしその上観察し易い」ということは成り立たない」モンスターはいる fact2: 仮にそのみやみいLv.44が流れ易いとすればそのみやみいLv.44は憎らしい一方でそれは観察し易くない fact3: もし仮に「そのみやみいLv.44は流れ易い」ということは確かなら「そのみやみいLv.44は憎らしい一方で観察し易いということはない」ということは嘘だ fact4: もしとあるモンスターはぼろいならば「それは注意すし更にそれは移し替えない」ということは成り立たない fact5: とあるモンスターは作り難いとすると「歌舞伎っぽいし打ち易くない」ということは事実と異なる fact6: 「もし湿気易いならば「麗しが甘酸っぱくない」ということは成り立たない」モンスターはいる
fact3 -> hypothesis;
fact3 -> hypothesis;
「作り難いとすれば「歌舞伎っぽくて打ち易くない」ということは間違いである」モンスターはいる
fact7 -> int1: 仮に「あのぴやぴにょLv.53は作り難い」ということは本当だとすると「歌舞伎っぽいししかもそれは打ち易くない」ということは成り立つということはない; int1 -> hypothesis;
$facts$ = fact1: 「流れ易いなら「憎らしいしその上観察し易い」ということは成り立たない」モンスターはいる fact2: 仮にそのみやみいLv.44が流れ易いとすればそのみやみいLv.44は憎らしい一方でそれは観察し易くない fact3: もし仮に「そのみやみいLv.44は流れ易い」ということは確かなら「そのみやみいLv.44は憎らしい一方で観察し易いということはない」ということは嘘だ fact4: もしとあるモンスターはぼろいならば「それは注意すし更にそれは移し替えない」ということは成り立たない fact5: とあるモンスターは作り難いとすると「歌舞伎っぽいし打ち易くない」ということは事実と異なる fact6: 「もし湿気易いならば「麗しが甘酸っぱくない」ということは成り立たない」モンスターはいる ; $hypothesis$ = 「もし仮に「流れ易い」ということは確かであるなら「憎らしくて観察し易くない」ということは成り立つということはない」モンスターはいる ; $proof$ = 
fact3 -> hypothesis; __PROVED__
fact3 -> hypothesis; __PROVED__