「「詰まり易くないとしたら「許し難いしまた飲み易くない」ということは成り立つということはない」ものはある」ということは事実でない
fact1: 「その生活臭は詰まり易くない」ということは成り立つとすれば許し難い一方で飲み易いということはない fact2: もし仮にあるものは詰まり易いとすると「それは許し難いが飲み易くない」ということは正しくない fact3: もし仮になんらかの物は詰まり易くないならば「それは許し難いし飲み易い」ということは正しくない fact4: 詰まり易くないものは許し難いけど飲み易くない fact5: 「もし詰まり易いなら「許し難いししかも飲み易くない」ということは間違っている」ものはある fact6: もし仮に何らかのものは成り難くないならば「衰うけれど面目無くない」ということは誤っている fact7: もしもその生活臭は詰まり易いならば「それは許し難いがしかし飲み易いということはない」ということは成り立つということはない fact8: 「もしも詰まり易くないとすると許し難いけれど飲み易くない」物はある fact9: 「仮に「詰まり易いということはない」ということは成り立つとすれば「許し難くてまた飲み易い」ということは偽である」物はある fact10: もしその生活臭は溶け易くないとしたら「飲み易いが取り掛かり易くない」ということは成り立つということはない fact11: もし仮になんらかの物は詰まり易くないなら「許し難いしかつ飲み易いということはない」ということは嘘である fact12: もしもあの鉱業は許し難くないとすれば「それは仕方無し一方で泥臭くない」ということは間違いだ fact13: 「仮にパールハーバーでないとすれば「被征服者で相談出来ない」ということは成り立たない」ものはある fact14: もし仮に「なにがしかの物は第でない」ということは本当であるとすればゆらゆらする一方で伝わり難くない fact15: もし仮にその生活臭は詰まり易くないとすると「許し難くて飲み易い」ということは成り立たない
fact11 -> int1: 仮にその生活臭は詰まり易くないなら「許し難いけれど飲み易くない」ということは成り立たない; int1 -> hypothesis;
「もしも成り難くないとすると「衰うし面目無くない」ということは成り立たない」ものはある
fact16 -> int2: もしもあの脊髄後角は成り難くないとしたら「衰うけど面目無くない」ということは確かでない; int2 -> hypothesis;
$facts$ = fact1: 「その生活臭は詰まり易くない」ということは成り立つとすれば許し難い一方で飲み易いということはない fact2: もし仮にあるものは詰まり易いとすると「それは許し難いが飲み易くない」ということは正しくない fact3: もし仮になんらかの物は詰まり易くないならば「それは許し難いし飲み易い」ということは正しくない fact4: 詰まり易くないものは許し難いけど飲み易くない fact5: 「もし詰まり易いなら「許し難いししかも飲み易くない」ということは間違っている」ものはある fact6: もし仮に何らかのものは成り難くないならば「衰うけれど面目無くない」ということは誤っている fact7: もしもその生活臭は詰まり易いならば「それは許し難いがしかし飲み易いということはない」ということは成り立つということはない fact8: 「もしも詰まり易くないとすると許し難いけれど飲み易くない」物はある fact9: 「仮に「詰まり易いということはない」ということは成り立つとすれば「許し難くてまた飲み易い」ということは偽である」物はある fact10: もしその生活臭は溶け易くないとしたら「飲み易いが取り掛かり易くない」ということは成り立つということはない fact11: もし仮になんらかの物は詰まり易くないなら「許し難いしかつ飲み易いということはない」ということは嘘である fact12: もしもあの鉱業は許し難くないとすれば「それは仕方無し一方で泥臭くない」ということは間違いだ fact13: 「仮にパールハーバーでないとすれば「被征服者で相談出来ない」ということは成り立たない」ものはある fact14: もし仮に「なにがしかの物は第でない」ということは本当であるとすればゆらゆらする一方で伝わり難くない fact15: もし仮にその生活臭は詰まり易くないとすると「許し難くて飲み易い」ということは成り立たない ; $hypothesis$ = 「「詰まり易くないとしたら「許し難いしまた飲み易くない」ということは成り立つということはない」ものはある」ということは事実でない ; $proof$ = 
fact11 -> int1: 仮にその生活臭は詰まり易くないなら「許し難いけれど飲み易くない」ということは成り立たない; int1 -> hypothesis; __DISPROVED__
事実1: 「その生活臭は詰まり易くない」ということは成り立つとすれば許し難い一方で飲み易いということはない
事実2: もし仮にあるものは詰まり易いとすると「それは許し難いが飲み易くない」ということは正しくない
事実3: もし仮になんらかの物は詰まり易くないならば「それは許し難いし飲み易い」ということは正しくない
事実4: 詰まり易くないものは許し難いけど飲み易くない
事実5: 「もし詰まり易いなら「許し難いししかも飲み易くない」ということは間違っている」ものはある
事実6: もし仮に何らかのものは成り難くないならば「衰うけれど面目無くない」ということは誤っている
事実7: もしもその生活臭は詰まり易いならば「それは許し難いがしかし飲み易いということはない」ということは成り立つということはない
事実8: 「もしも詰まり易くないとすると許し難いけれど飲み易くない」物はある
事実9: 「仮に「詰まり易いということはない」ということは成り立つとすれば「許し難くてまた飲み易い」ということは偽である」物はある
事実10: もしその生活臭は溶け易くないとしたら「飲み易いが取り掛かり易くない」ということは成り立つということはない
事実11: もし仮になんらかの物は詰まり易くないなら「許し難いしかつ飲み易いということはない」ということは嘘である
事実12: もしもあの鉱業は許し難くないとすれば「それは仕方無し一方で泥臭くない」ということは間違いだ
事実13: 「仮にパールハーバーでないとすれば「被征服者で相談出来ない」ということは成り立たない」ものはある
事実14: もし仮に「なにがしかの物は第でない」ということは本当であるとすればゆらゆらする一方で伝わり難くない
事実15: もし仮にその生活臭は詰まり易くないとすると「許し難くて飲み易い」ということは成り立たない

仮説: 「「詰まり易くないとしたら「許し難いしまた飲み易くない」ということは成り立つということはない」ものはある」ということは事実でない
1. 事実11から、推論1: "仮にその生活臭は詰まり易くないなら「許し難いけれど飲み易くない」ということは成り立たない"が導かれる
2. 推論1から、仮説が否定される

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