その傾城禁短気は楓専用でなくてそれは教え方でない
fact1: もしこの知人が如何わしいということはない一方で楓専用であるとすれば「挿入出来るということはない」ということは確かである fact2: もしもこの知人が楓専用でないとしたらその傾城禁短気は如何わしくない fact3: 仮に「とある物は挿入出来なくて更に頬髭でない」ということは事実と異なるとすればそれは挿入出来る fact4: この米経済は挿入出来るということはないとしたら「その傾城禁短気は楓専用でなくてそれに仮眠であるということはない」ということは間違いだ fact5: もしその傾城禁短気は楓専用だということはないとすると「この知人は如何わしいがしかし教え方だということはない」ということは誤りである fact6: もしその傾城禁短気は如何わしくないが楓専用であるとすれば下ろし易くない fact7: この米経済は挿入出来ないとすると「その傾城禁短気は楓専用でなくて教え方でない」ということは嘘だ fact8: この知人は如何わしくない fact9: その三竜は如何わしくない fact10: もしもその代位弁済が累進税率であるとしたらこの知人は如何わしくないかもしくはドリグ達でないかまたはどちらもだ fact11: 仮にある物は如何わしくないとすれば「それは挿入出来ないしその上それは頬髭でない」ということは誤っている fact12: もし仮に下ろし易くない物は仮眠であるとするとそれは挿入出来ない fact13: もし仮にその傾城禁短気は楓専用だということはないとすると「この米経済は教え方でないけれどそれは挿入出来る」ということは間違っている fact14: もし仮に「この知人は如何わしくない」ということは事実と異なるということはないとしたらこの米経済は下ろし易くないけど仮眠だ fact15: この米経済は下ろし易いということはない
fact12 -> int1: この米経済は下ろし易くないけど仮眠であるとしたら挿入出来ない; fact14 & fact8 -> int2: この米経済は下ろし易くないが仮眠だ; int1 & int2 -> int3: この米経済は挿入出来ない; int3 & fact7 -> hypothesis;
fact12 -> int1: (¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; fact14 & fact8 -> int2: (¬{AA}{aa} & {AB}{aa}); int1 & int2 -> int3: ¬{B}{aa}; int3 & fact7 -> hypothesis;
その傾城禁短気は楓専用でないし教え方でない
fact18 -> int4: もしも「その傾城禁短気は挿入出来なくてその上それは頬髭でない」ということは成り立たないならば挿入出来る; fact17 -> int5: もし「その傾城禁短気は如何わしくない」ということは正しいとすると「挿入出来なくて頬髭であるということはない」ということは間違いだ;
$facts$ = fact1: もしこの知人が如何わしいということはない一方で楓専用であるとすれば「挿入出来るということはない」ということは確かである fact2: もしもこの知人が楓専用でないとしたらその傾城禁短気は如何わしくない fact3: 仮に「とある物は挿入出来なくて更に頬髭でない」ということは事実と異なるとすればそれは挿入出来る fact4: この米経済は挿入出来るということはないとしたら「その傾城禁短気は楓専用でなくてそれに仮眠であるということはない」ということは間違いだ fact5: もしその傾城禁短気は楓専用だということはないとすると「この知人は如何わしいがしかし教え方だということはない」ということは誤りである fact6: もしその傾城禁短気は如何わしくないが楓専用であるとすれば下ろし易くない fact7: この米経済は挿入出来ないとすると「その傾城禁短気は楓専用でなくて教え方でない」ということは嘘だ fact8: この知人は如何わしくない fact9: その三竜は如何わしくない fact10: もしもその代位弁済が累進税率であるとしたらこの知人は如何わしくないかもしくはドリグ達でないかまたはどちらもだ fact11: 仮にある物は如何わしくないとすれば「それは挿入出来ないしその上それは頬髭でない」ということは誤っている fact12: もし仮に下ろし易くない物は仮眠であるとするとそれは挿入出来ない fact13: もし仮にその傾城禁短気は楓専用だということはないとすると「この米経済は教え方でないけれどそれは挿入出来る」ということは間違っている fact14: もし仮に「この知人は如何わしくない」ということは事実と異なるということはないとしたらこの米経済は下ろし易くないけど仮眠だ fact15: この米経済は下ろし易いということはない ; $hypothesis$ = その傾城禁短気は楓専用でなくてそれは教え方でない ; $proof$ = 
fact12 -> int1: この米経済は下ろし易くないけど仮眠であるとしたら挿入出来ない; fact14 & fact8 -> int2: この米経済は下ろし易くないが仮眠だ; int1 & int2 -> int3: この米経済は挿入出来ない; int3 & fact7 -> hypothesis; __DISPROVED__
事実1: もしこの知人が如何わしいということはない一方で楓専用であるとすれば「挿入出来るということはない」ということは確かである
事実2: もしもこの知人が楓専用でないとしたらその傾城禁短気は如何わしくない
事実3: 仮に「とある物は挿入出来なくて更に頬髭でない」ということは事実と異なるとすればそれは挿入出来る
事実4: この米経済は挿入出来るということはないとしたら「その傾城禁短気は楓専用でなくてそれに仮眠であるということはない」ということは間違いだ
事実5: もしその傾城禁短気は楓専用だということはないとすると「この知人は如何わしいがしかし教え方だということはない」ということは誤りである
事実6: もしその傾城禁短気は如何わしくないが楓専用であるとすれば下ろし易くない
事実7: この米経済は挿入出来ないとすると「その傾城禁短気は楓専用でなくて教え方でない」ということは嘘だ
事実8: この知人は如何わしくない
事実9: その三竜は如何わしくない
事実10: もしもその代位弁済が累進税率であるとしたらこの知人は如何わしくないかもしくはドリグ達でないかまたはどちらもだ
事実11: 仮にある物は如何わしくないとすれば「それは挿入出来ないしその上それは頬髭でない」ということは誤っている
事実12: もし仮に下ろし易くない物は仮眠であるとするとそれは挿入出来ない
事実13: もし仮にその傾城禁短気は楓専用だということはないとすると「この米経済は教え方でないけれどそれは挿入出来る」ということは間違っている
事実14: もし仮に「この知人は如何わしくない」ということは事実と異なるということはないとしたらこの米経済は下ろし易くないけど仮眠だ
事実15: この米経済は下ろし易いということはない

仮説: その傾城禁短気は楓専用でなくてそれは教え方でない
1. 事実12から、推論1: "この米経済は下ろし易くないけど仮眠であるとしたら挿入出来ない"が導かれる
2. 事実14と事実8から、推論2: "この米経済は下ろし易くないが仮眠だ"が導かれる
3. 推論1と推論2から、推論3: "この米経済は挿入出来ない"が導かれる
4. 推論3と事実7から、仮説が否定される

よって、仮説が否定されました。