「「もし仮にそそっかしいとすれば「抜き難いかもしくは口汚いということはないかもしくはどちらもである」ということは嘘な」モンスターはいる」ということは事実と異なる
fact1: 仮になんらかのモンスターはそそっかしいとしたら「それは抜き難いかあるいは口汚くない」ということは誤っている fact2: もし仮になにがしかのモンスターは分かり難いならば「それは御仕事するかまたは下見しない」ということは間違いだ fact3: もしあのぷねぷよLv.13は信じ難いとすると「それは口汚いかもしくはそれは捗々しくない」ということは成り立たない fact4: 「仮にあるモンスターが号すれば香るかあるいは惜しくないかあるいは両方ともである」ということは成り立つ
fact1 -> int1: もしあのぷねぷよLv.13はそそっかしいなら「それは抜き難いかまたは口汚くないかもしくはどちらもだ」ということは事実でない; int1 -> hypothesis;
fact1 -> int1: {A}{aa} -> ¬({AA}{aa} v ¬{AB}{aa}); int1 -> hypothesis;
仮にこのみいみちゅLv.63は分かり難いなら「このみいみちゅLv.63は御仕事するかまたは下見しないかあるいは両方ともである」ということは成り立つということはない
fact5 -> hypothesis;
$facts$ = fact1: 仮になんらかのモンスターはそそっかしいとしたら「それは抜き難いかあるいは口汚くない」ということは誤っている fact2: もし仮になにがしかのモンスターは分かり難いならば「それは御仕事するかまたは下見しない」ということは間違いだ fact3: もしあのぷねぷよLv.13は信じ難いとすると「それは口汚いかもしくはそれは捗々しくない」ということは成り立たない fact4: 「仮にあるモンスターが号すれば香るかあるいは惜しくないかあるいは両方ともである」ということは成り立つ ; $hypothesis$ = 「「もし仮にそそっかしいとすれば「抜き難いかもしくは口汚いということはないかもしくはどちらもである」ということは嘘な」モンスターはいる」ということは事実と異なる ; $proof$ = 
fact1 -> int1: もしあのぷねぷよLv.13はそそっかしいなら「それは抜き難いかまたは口汚くないかもしくはどちらもだ」ということは事実でない; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{aa} -> ¬({AA}{aa} v ¬{AB}{aa}); int1 -> hypothesis; __DISPROVED__