このもちゅもちょLv.96は決め難い
fact1: 仮にそのぷよぷわLv.11が決め難いとしたらこのもちゅもちょLv.96はおもろい fact2: もし仮にそのぷよぷわLv.11が直言するとすればこのもちゅもちょLv.96はおもろい fact3: なんらかのモンスターが折れ易いとしたら直言する fact4: おもろいかまたは買い易いかあるいはどちらもであるモンスターは決め難くない fact5: そのぷよぷわLv.11はおもろい fact6: もし仮にそのぷよぷわLv.11はおもろいとしたら「このもちゅもちょLv.96は決め難い」ということは確かだ fact7: そのもちょもにょLv.7が折れ易いとしたらそのぷよぷわLv.11は折れ易い
fact5 -> int1: そのぷよぷわLv.11はおもろい; int1 & fact6 -> hypothesis;
fact5 -> int1: {A}{a}; int1 & fact6 -> hypothesis;
このもちゅもちょLv.96は決め難くない
fact9 -> int2: 「もし仮にこのもちゅもちょLv.96がおもろいかあるいはそれは買い易いなら「このもちゅもちょLv.96は決め難くない」ということは本当である」ということは誤っていない; fact10 -> int3: もし「そのぷよぷわLv.11は折れ易い」ということは成り立つとするとそれは直言する;
$facts$ = fact1: 仮にそのぷよぷわLv.11が決め難いとしたらこのもちゅもちょLv.96はおもろい fact2: もし仮にそのぷよぷわLv.11が直言するとすればこのもちゅもちょLv.96はおもろい fact3: なんらかのモンスターが折れ易いとしたら直言する fact4: おもろいかまたは買い易いかあるいはどちらもであるモンスターは決め難くない fact5: そのぷよぷわLv.11はおもろい fact6: もし仮にそのぷよぷわLv.11はおもろいとしたら「このもちゅもちょLv.96は決め難い」ということは確かだ fact7: そのもちょもにょLv.7が折れ易いとしたらそのぷよぷわLv.11は折れ易い ; $hypothesis$ = このもちゅもちょLv.96は決め難い ; $proof$ = 
fact5 -> int1: そのぷよぷわLv.11はおもろい; int1 & fact6 -> hypothesis; __PROVED__
fact5 -> int1: {A}{a}; int1 & fact6 -> hypothesis; __PROVED__