「この役割制限は宜しないがしかし軽ーい」ということは偽である
fact1: もし「そのず仕舞いは座乗しない」ということは真実であるとしたら「それは出し難いかまたはそれは探し易くない」ということは成り立つということはない fact2: 仮にそのず仕舞いが受け入れ難いとすればそれは立地するということはないかもしくはアウトラインであるかもしくは両方だ fact3: そのず仕舞いは受け入れ難い fact4: もしもこの役割制限が出し難くないなら軽ーい fact5: 仮に「「立地しない」ということは成り立つ」物があるとすればこの役割制限は出現し易くない fact6: もし仮にそのず仕舞いは素っ気ないということはないとすれば「開催致さない」ということは本当である fact7: この役割制限は猥談でないかもしくは出現し易い fact8: もし「立地しないかあるいはアウトラインである」ものがあるとするとこの役割制限は出現し易くない fact9: そのず仕舞いが受け入れ難いとしたら立地するかアウトラインであるかもしくは両方ともである fact10: もし「そのず仕舞いは出し難いかもしくは探し易くないかどちらもである」ということは誤っているとすると「この役割制限は出し難い」ということは誤りであるということはない fact11: この役割制限は軽ーい fact12: 出し難くないものは宜しということはないけど軽ーい fact13: もし仮に「アウトラインでないかまたは受け入れ難いか両方ともである」ものがあるとするとそのず仕舞いは出現し易くない fact14: とあるものは立地するかあるいはそれはアウトラインであるかもしくはどちらもだ fact15: 出し難くない物は軽ーい fact16: この役割制限が受け入れ難くないとするとそれは宜しないしそれは出し難い fact17: そのず仕舞いは立地するかもしくはアウトラインであるかもしくは両方である fact18: もし仮に「そのず仕舞いは表示・非表示でないが座乗する」ということは誤っているとしたら座乗しない fact19: もしも「「出し難くない」ということは誤りでない」ものがあるならこの役割制限はアウトラインでない fact20: そのず仕舞いは其れらしいかまたはそれは建築設備であるかまたは両方だ fact21: そのず仕舞いは出し難くないかまたはそれは探し易いということはないか両方ともだ fact22: 出現し易くないものは出し難いということはない fact23: そのず仕舞いは出現し易いということはない
fact2 & fact3 -> int1: そのず仕舞いは立地しないかもしくはそれはアウトラインであるかもしくはどちらもである; int1 -> int2: なにがしかのものは立地しないかもしくはアウトラインであるかまたは両方だ; int2 & fact8 -> int3: 「この役割制限は出現し易くない」ということは確かである; fact22 -> int4: この役割制限は出現し易くないとすればそれは出し難くない; int3 & int4 -> int5: この役割制限は出し難いということはない; fact12 -> int6: もしもこの役割制限が出し難くないとしたらそれは宜しない一方で軽ーい; int5 & int6 -> hypothesis;
「この役割制限は宜しということはないがそれは軽ーい」ということは嘘だ
$facts$ = fact1: もし「そのず仕舞いは座乗しない」ということは真実であるとしたら「それは出し難いかまたはそれは探し易くない」ということは成り立つということはない fact2: 仮にそのず仕舞いが受け入れ難いとすればそれは立地するということはないかもしくはアウトラインであるかもしくは両方だ fact3: そのず仕舞いは受け入れ難い fact4: もしもこの役割制限が出し難くないなら軽ーい fact5: 仮に「「立地しない」ということは成り立つ」物があるとすればこの役割制限は出現し易くない fact6: もし仮にそのず仕舞いは素っ気ないということはないとすれば「開催致さない」ということは本当である fact7: この役割制限は猥談でないかもしくは出現し易い fact8: もし「立地しないかあるいはアウトラインである」ものがあるとするとこの役割制限は出現し易くない fact9: そのず仕舞いが受け入れ難いとしたら立地するかアウトラインであるかもしくは両方ともである fact10: もし「そのず仕舞いは出し難いかもしくは探し易くないかどちらもである」ということは誤っているとすると「この役割制限は出し難い」ということは誤りであるということはない fact11: この役割制限は軽ーい fact12: 出し難くないものは宜しということはないけど軽ーい fact13: もし仮に「アウトラインでないかまたは受け入れ難いか両方ともである」ものがあるとするとそのず仕舞いは出現し易くない fact14: とあるものは立地するかあるいはそれはアウトラインであるかもしくはどちらもだ fact15: 出し難くない物は軽ーい fact16: この役割制限が受け入れ難くないとするとそれは宜しないしそれは出し難い fact17: そのず仕舞いは立地するかもしくはアウトラインであるかもしくは両方である fact18: もし仮に「そのず仕舞いは表示・非表示でないが座乗する」ということは誤っているとしたら座乗しない fact19: もしも「「出し難くない」ということは誤りでない」ものがあるならこの役割制限はアウトラインでない fact20: そのず仕舞いは其れらしいかまたはそれは建築設備であるかまたは両方だ fact21: そのず仕舞いは出し難くないかまたはそれは探し易いということはないか両方ともだ fact22: 出現し易くないものは出し難いということはない fact23: そのず仕舞いは出現し易いということはない ; $hypothesis$ = 「この役割制限は宜しないがしかし軽ーい」ということは偽である ; $proof$ = 
fact2 & fact3 -> int1: そのず仕舞いは立地しないかもしくはそれはアウトラインであるかもしくはどちらもである; int1 -> int2: なにがしかのものは立地しないかもしくはアウトラインであるかまたは両方だ; int2 & fact8 -> int3: 「この役割制限は出現し易くない」ということは確かである; fact22 -> int4: この役割制限は出現し易くないとすればそれは出し難くない; int3 & int4 -> int5: この役割制限は出し難いということはない; fact12 -> int6: もしもこの役割制限が出し難くないとしたらそれは宜しない一方で軽ーい; int5 & int6 -> hypothesis; __DISPROVED__
事実1: もし「そのず仕舞いは座乗しない」ということは真実であるとしたら「それは出し難いかまたはそれは探し易くない」ということは成り立つということはない
事実2: 仮にそのず仕舞いが受け入れ難いとすればそれは立地するということはないかもしくはアウトラインであるかもしくは両方だ
事実3: そのず仕舞いは受け入れ難い
事実4: もしもこの役割制限が出し難くないなら軽ーい
事実5: 仮に「「立地しない」ということは成り立つ」物があるとすればこの役割制限は出現し易くない
事実6: もし仮にそのず仕舞いは素っ気ないということはないとすれば「開催致さない」ということは本当である
事実7: この役割制限は猥談でないかもしくは出現し易い
事実8: もし「立地しないかあるいはアウトラインである」ものがあるとするとこの役割制限は出現し易くない
事実9: そのず仕舞いが受け入れ難いとしたら立地するかアウトラインであるかもしくは両方ともである
事実10: もし「そのず仕舞いは出し難いかもしくは探し易くないかどちらもである」ということは誤っているとすると「この役割制限は出し難い」ということは誤りであるということはない
事実11: この役割制限は軽ーい
事実12: 出し難くないものは宜しということはないけど軽ーい
事実13: もし仮に「アウトラインでないかまたは受け入れ難いか両方ともである」ものがあるとするとそのず仕舞いは出現し易くない
事実14: とあるものは立地するかあるいはそれはアウトラインであるかもしくはどちらもだ
事実15: 出し難くない物は軽ーい
事実16: この役割制限が受け入れ難くないとするとそれは宜しないしそれは出し難い
事実17: そのず仕舞いは立地するかもしくはアウトラインであるかもしくは両方である
事実18: もし仮に「そのず仕舞いは表示・非表示でないが座乗する」ということは誤っているとしたら座乗しない
事実19: もしも「「出し難くない」ということは誤りでない」ものがあるならこの役割制限はアウトラインでない
事実20: そのず仕舞いは其れらしいかまたはそれは建築設備であるかまたは両方だ
事実21: そのず仕舞いは出し難くないかまたはそれは探し易いということはないか両方ともだ
事実22: 出現し易くないものは出し難いということはない
事実23: そのず仕舞いは出現し易いということはない

仮説: 「この役割制限は宜しないがしかし軽ーい」ということは偽である
1. 事実2と事実3から、推論1: "そのず仕舞いは立地しないかもしくはそれはアウトラインであるかもしくはどちらもである"が導かれる
2. 推論1から、推論2: "なにがしかのものは立地しないかもしくはアウトラインであるかまたは両方だ"が導かれる
3. 推論2と事実8から、推論3: "「この役割制限は出現し易くない」ということは確かである"が導かれる
4. 事実22から、推論4: "この役割制限は出現し易くないとすればそれは出し難くない"が導かれる
5. 推論3と推論4から、推論5: "この役割制限は出し難いということはない"が導かれる
6. 事実12から、推論6: "もしもこの役割制限が出し難くないとしたらそれは宜しない一方で軽ーい"が導かれる
7. 推論5と推論6から、仮説が否定される

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