「このまよまちょLv.64は手際良くないしおまけにけばけばしくない」ということは成り立たない
fact1: 「名称変更する」モンスターはいる fact2: とあるモンスターが訝しいならみっともない fact3: 「そのぷよぷちゃLv.49はどす黒くない一方で悪し」ということは確かでない fact4: もしも何らかのモンスターが名称変更するとするとそれは手際良くない fact5: 仮に「名称変更する」モンスターはいれば「このまよまちょLv.64は手際良くないし更にそれはけばけばしくない」ということは偽である fact6: 仮にこのまよまちょLv.64がみっともないならこのまよまちょLv.64は名称変更する
fact1 -> int1: 「名称変更する」モンスターはいる; int1 & fact5 -> hypothesis;
fact1 -> int1: (Ex): {A}x; int1 & fact5 -> hypothesis;
このまよまちょLv.64は手際良くなくてまたけばけばしくない
fact7 -> int2: このまよまちょLv.64が名称変更するとしたらこのまよまちょLv.64は手際良くない; fact8 -> int3: もし仮にこのまよまちょLv.64が訝しいとしたらみっともない;
$facts$ = fact1: 「名称変更する」モンスターはいる fact2: とあるモンスターが訝しいならみっともない fact3: 「そのぷよぷちゃLv.49はどす黒くない一方で悪し」ということは確かでない fact4: もしも何らかのモンスターが名称変更するとするとそれは手際良くない fact5: 仮に「名称変更する」モンスターはいれば「このまよまちょLv.64は手際良くないし更にそれはけばけばしくない」ということは偽である fact6: 仮にこのまよまちょLv.64がみっともないならこのまよまちょLv.64は名称変更する ; $hypothesis$ = 「このまよまちょLv.64は手際良くないしおまけにけばけばしくない」ということは成り立たない ; $proof$ = 
fact1 -> int1: 「名称変更する」モンスターはいる; int1 & fact5 -> hypothesis; __PROVED__
fact1 -> int1: (Ex): {A}x; int1 & fact5 -> hypothesis; __PROVED__