そのまにょまちょLv.27はけばけばしいけどそれは委託しない
fact1: もしも「とあるモンスターは漕ぐが注射しない」ということは成り立たないなら物寂しい fact2: もしもあのぽちゃぽねLv.14は激しいならば「このものもちゃLv.40は漕ぐ一方でそれは注射しない」ということは嘘だ fact3: 「そのぷわぷえLv.22は物寂しくない」ということは真実ならそのまにょまちょLv.27はけばけばしいがそれは委託しない fact4: このものもちゃLv.40は物寂しいとしたら「そのまにょまちょLv.27は物寂しい」ということは成り立つ fact5: 薄ら寒いかまたは表現し難いモンスターは物寂しくない fact6: そのぷわぷえLv.22は委託する fact7: もしもなにがしかのモンスターは物寂しいとすると「それがけばけばしいしその上それは委託しない」ということは成り立たない fact8: そのぷわぷえLv.22は薄ら寒いかあるいはそれは表現し難いかあるいは両方ともだ
fact5 -> int1: もしもそのぷわぷえLv.22は薄ら寒いかあるいは表現し難いかまたは両方だとすると物寂しくない; int1 & fact8 -> int2: そのぷわぷえLv.22は物寂しくない; int2 & fact3 -> hypothesis;
fact5 -> int1: ({AA}{aa} v {AB}{aa}) -> ¬{B}{aa}; int1 & fact8 -> int2: ¬{B}{aa}; int2 & fact3 -> hypothesis;
「そのまにょまちょLv.27はけばけばしいが委託しない」ということは成り立たない
fact9 -> int3: もし仮にそのまにょまちょLv.27は物寂しいとしたら「「それはけばけばしくてまた委託しない」ということは本当である」ということは真実でない; fact12 -> int4: もしも「このものもちゃLv.40は漕ぐけれどそれは注射しない」ということは誤っているとすればそれは物寂しい;
$facts$ = fact1: もしも「とあるモンスターは漕ぐが注射しない」ということは成り立たないなら物寂しい fact2: もしもあのぽちゃぽねLv.14は激しいならば「このものもちゃLv.40は漕ぐ一方でそれは注射しない」ということは嘘だ fact3: 「そのぷわぷえLv.22は物寂しくない」ということは真実ならそのまにょまちょLv.27はけばけばしいがそれは委託しない fact4: このものもちゃLv.40は物寂しいとしたら「そのまにょまちょLv.27は物寂しい」ということは成り立つ fact5: 薄ら寒いかまたは表現し難いモンスターは物寂しくない fact6: そのぷわぷえLv.22は委託する fact7: もしもなにがしかのモンスターは物寂しいとすると「それがけばけばしいしその上それは委託しない」ということは成り立たない fact8: そのぷわぷえLv.22は薄ら寒いかあるいはそれは表現し難いかあるいは両方ともだ ; $hypothesis$ = そのまにょまちょLv.27はけばけばしいけどそれは委託しない ; $proof$ = 
fact5 -> int1: もしもそのぷわぷえLv.22は薄ら寒いかあるいは表現し難いかまたは両方だとすると物寂しくない; int1 & fact8 -> int2: そのぷわぷえLv.22は物寂しくない; int2 & fact3 -> hypothesis; __PROVED__
fact5 -> int1: ({AA}{aa} v {AB}{aa}) -> ¬{B}{aa}; int1 & fact8 -> int2: ¬{B}{aa}; int2 & fact3 -> hypothesis; __PROVED__