このもちゃもくLv.10は生まれ難くない
fact1: もしとあるモンスターはすっごいとすれば「きついしその上見難い」ということは成り立たない fact2: このもちゃもくLv.10が見難いならこのぷちゅぷにLv.71は生まれ難い fact3: 「このぷちゅぷにLv.71はきつくないけれど見難い」ということは成り立たないとしたらこのもちゃもくLv.10は生まれ難い fact4: 仮にとあるモンスターはすっごいとすれば「きつかないしその上それは見難い」ということは成り立たない fact5: 「このぷちゅぷにLv.71は覚え易くないかあるいは形容し難い」ということは成り立たない fact6: もし仮に「このぷちゅぷにLv.71は覚え易くないかあるいは形容し難い」ということは成り立たないならこのぷちゅぷにLv.71はすっごい
fact4 -> int1: もしもこのぷちゅぷにLv.71はすっごいとすれば「「それはきつかなくてかつ見難い」ということは成り立つ」ということは成り立たない; fact6 & fact5 -> int2: このぷちゅぷにLv.71はすっごい; int1 & int2 -> int3: 「このぷちゅぷにLv.71はきつくない一方で見難い」ということは誤っている; int3 & fact3 -> hypothesis;
fact4 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); fact6 & fact5 -> int2: {A}{aa}; int1 & int2 -> int3: ¬(¬{AA}{aa} & {AB}{aa}); int3 & fact3 -> hypothesis;
$facts$ = fact1: もしとあるモンスターはすっごいとすれば「きついしその上見難い」ということは成り立たない fact2: このもちゃもくLv.10が見難いならこのぷちゅぷにLv.71は生まれ難い fact3: 「このぷちゅぷにLv.71はきつくないけれど見難い」ということは成り立たないとしたらこのもちゃもくLv.10は生まれ難い fact4: 仮にとあるモンスターはすっごいとすれば「きつかないしその上それは見難い」ということは成り立たない fact5: 「このぷちゅぷにLv.71は覚え易くないかあるいは形容し難い」ということは成り立たない fact6: もし仮に「このぷちゅぷにLv.71は覚え易くないかあるいは形容し難い」ということは成り立たないならこのぷちゅぷにLv.71はすっごい ; $hypothesis$ = このもちゃもくLv.10は生まれ難くない ; $proof$ = 
fact4 -> int1: もしもこのぷちゅぷにLv.71はすっごいとすれば「「それはきつかなくてかつ見難い」ということは成り立つ」ということは成り立たない; fact6 & fact5 -> int2: このぷちゅぷにLv.71はすっごい; int1 & int2 -> int3: 「このぷちゅぷにLv.71はきつくない一方で見難い」ということは誤っている; int3 & fact3 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); fact6 & fact5 -> int2: {A}{aa}; int1 & int2 -> int3: ¬(¬{AA}{aa} & {AB}{aa}); int3 & fact3 -> hypothesis; __DISPROVED__