このぴくぴにゅLv.94は無駄遣いする
fact1: 仮に「このぴくぴにゅLv.94は取り難くないがしかしそれは落ち難い」ということは成り立たないとすればこのぴくぴにゅLv.94は無駄遣いしない fact2: このぴくぴにゅLv.94はこよない fact3: もし仮に「このぴくぴにゅLv.94は迷信深い」ということは誤っているということはないとすれば「「このぴくぴにゅLv.94はレポートするしその上開港する」ということは成り立つ」ということは事実だということはない fact4: このぴくぴにゅLv.94は添加する fact5: もしも「あのみちゅみえLv.77は想像し難くない一方で誘発する」ということは成り立たないとすればそれは賛成出来ない fact6: 仮になにがしかのモンスターは落ち難いなら「取り難いしそれは無駄遣いする」ということは成り立たない fact7: とあるモンスターは添加すれば「それは取り難いということはないけれど落ち難い」ということは偽だ
fact7 -> int1: 仮にこのぴくぴにゅLv.94は添加するとしたら「取り難くないけれど落ち難い」ということは成り立たない; int1 & fact4 -> int2: 「このぴくぴにゅLv.94は取り難くないがしかし落ち難い」ということは誤りだ; int2 & fact1 -> hypothesis;
fact7 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact4 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int2 & fact1 -> hypothesis;
$facts$ = fact1: 仮に「このぴくぴにゅLv.94は取り難くないがしかしそれは落ち難い」ということは成り立たないとすればこのぴくぴにゅLv.94は無駄遣いしない fact2: このぴくぴにゅLv.94はこよない fact3: もし仮に「このぴくぴにゅLv.94は迷信深い」ということは誤っているということはないとすれば「「このぴくぴにゅLv.94はレポートするしその上開港する」ということは成り立つ」ということは事実だということはない fact4: このぴくぴにゅLv.94は添加する fact5: もしも「あのみちゅみえLv.77は想像し難くない一方で誘発する」ということは成り立たないとすればそれは賛成出来ない fact6: 仮になにがしかのモンスターは落ち難いなら「取り難いしそれは無駄遣いする」ということは成り立たない fact7: とあるモンスターは添加すれば「それは取り難いということはないけれど落ち難い」ということは偽だ ; $hypothesis$ = このぴくぴにゅLv.94は無駄遣いする ; $proof$ = 
fact7 -> int1: 仮にこのぴくぴにゅLv.94は添加するとしたら「取り難くないけれど落ち難い」ということは成り立たない; int1 & fact4 -> int2: 「このぴくぴにゅLv.94は取り難くないがしかし落ち難い」ということは誤りだ; int2 & fact1 -> hypothesis; __DISPROVED__
fact7 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact4 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int2 & fact1 -> hypothesis; __DISPROVED__