そのぷなぷよLv.90は長過ぎるということはない
fact1: 仮に「とあるモンスターは動かし難いということはないしその上動き難いということはない」ということは間違っているとするとそれは御尋ねするということはない fact2: 「そのぷなぷよLv.90は動かし難いということはないし動き難くない」ということは成り立たない fact3: そのぷなぷよLv.90が御尋ねしないかまたはそれは麗しいかもしくは両方ともであるとすると「そのぷなぷよLv.90は快勝する」ということは本当だ fact4: そのぷなぷよLv.90は幼しないかあるいは快勝するかあるいは両方だ fact5: もしもこのまいまちゅLv.1が疎ましいとすると動かし難い fact6: もし仮に「そのぷなぷよLv.90は麗しくないし手際良くない」ということは間違っているならそのぷなぷよLv.90は口汚くない fact7: あのぷちゅぷやLv.46は動き難い fact8: 仮にそのぷなぷよLv.90が快勝するとすれば長過ぎる
fact1 -> int1: 「そのぷなぷよLv.90は動かし難くないしかつ動き難いということはない」ということは事実と異なれば御尋ねしない; int1 & fact2 -> int2: そのぷなぷよLv.90は御尋ねしない; int2 -> int3: そのぷなぷよLv.90は御尋ねしないかもしくは麗しいかどちらもである; int3 & fact3 -> int4: そのぷなぷよLv.90は快勝する; int4 & fact8 -> hypothesis;
fact1 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact2 -> int2: ¬{B}{aa}; int2 -> int3: (¬{B}{aa} v {A}{aa}); int3 & fact3 -> int4: {C}{aa}; int4 & fact8 -> hypothesis;
$facts$ = fact1: 仮に「とあるモンスターは動かし難いということはないしその上動き難いということはない」ということは間違っているとするとそれは御尋ねするということはない fact2: 「そのぷなぷよLv.90は動かし難いということはないし動き難くない」ということは成り立たない fact3: そのぷなぷよLv.90が御尋ねしないかまたはそれは麗しいかもしくは両方ともであるとすると「そのぷなぷよLv.90は快勝する」ということは本当だ fact4: そのぷなぷよLv.90は幼しないかあるいは快勝するかあるいは両方だ fact5: もしもこのまいまちゅLv.1が疎ましいとすると動かし難い fact6: もし仮に「そのぷなぷよLv.90は麗しくないし手際良くない」ということは間違っているならそのぷなぷよLv.90は口汚くない fact7: あのぷちゅぷやLv.46は動き難い fact8: 仮にそのぷなぷよLv.90が快勝するとすれば長過ぎる ; $hypothesis$ = そのぷなぷよLv.90は長過ぎるということはない ; $proof$ = 
fact1 -> int1: 「そのぷなぷよLv.90は動かし難くないしかつ動き難いということはない」ということは事実と異なれば御尋ねしない; int1 & fact2 -> int2: そのぷなぷよLv.90は御尋ねしない; int2 -> int3: そのぷなぷよLv.90は御尋ねしないかもしくは麗しいかどちらもである; int3 & fact3 -> int4: そのぷなぷよLv.90は快勝する; int4 & fact8 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact2 -> int2: ¬{B}{aa}; int2 -> int3: (¬{B}{aa} v {A}{aa}); int3 & fact3 -> int4: {C}{aa}; int4 & fact8 -> hypothesis; __DISPROVED__