「住居権でない」ものはある
fact1: 仮に「ＹＫＫでない」物があるとすればその二年坂は存続すということはない一方で住居権である fact2: もし仮にこのどぶすが身障手帳でないならあの五番手は身障手帳だ fact3: あの五番手は立ち戻らない fact4: このどぶすは罹り易い fact5: なにがしかのものは住居権だ fact6: もしも「あの五番手は吸収され易いかもしくは損益通算出来るかまたは両方である」ということは確かでないならばそれは住居権でない fact7: 「このどぶすは小箱でなくて黒人選手でない」ということは成り立たない fact8: 「あの別館は現われ易いかもしくはそれは挙げ句であるかもしくはどちらもである」ということは正しくない fact9: この千八百人は罹り易いし人間っぽい fact10: あの五番手は存続すらない fact11: もしこのどぶすが罹り易いとすれば身障手帳である fact12: 「なにがしかのものは存続すらない」ということは真実であるならそれは公民権運動でない fact13: もしもこの千八百人が罹り易いし加えて人間っぽいとするとあの五番手は罹り易くない fact14: もし仮にあの五番手は存続すらないとすれば「吸収され易いかそれは損益通算出来るかもしくはどちらもだ」ということは事実と異なる fact15: 「このどぶすは小箱でないし黒人選手でない」ということは事実と異なるとしたらそれは創造活動でない fact16: このどぶすが減食であるとしたらあの五番手は身障手帳だ fact17: もし仮にあの五番手が存続すらないならそれは損益通算出来ない fact18: 働き易いものは減食であるかもしくは身障手帳でないかまたはどちらもだ fact19: もしもなにかは創造活動でないとすればそれは働き易いしかつそれはスワップ取り引きである fact20: 罹り易くない身障手帳はＹＫＫでない fact21: その婚姻は存続すらない fact22: あの五番手は損益通算出来ない
fact14 & fact10 -> int1: 「あの五番手は吸収され易いかそれは損益通算出来るかまたは両方ともだ」ということは成り立たない; int1 & fact6 -> int2: あの五番手は住居権でない; int2 -> hypothesis;
この家庭人は吸収され易くない
fact23 & fact24 -> int3: 「このどぶすは身障手帳である」ということは確かだ; int3 -> int4: 何らかのものは身障手帳である;
$facts$ = fact1: 仮に「ＹＫＫでない」物があるとすればその二年坂は存続すということはない一方で住居権である fact2: もし仮にこのどぶすが身障手帳でないならあの五番手は身障手帳だ fact3: あの五番手は立ち戻らない fact4: このどぶすは罹り易い fact5: なにがしかのものは住居権だ fact6: もしも「あの五番手は吸収され易いかもしくは損益通算出来るかまたは両方である」ということは確かでないならばそれは住居権でない fact7: 「このどぶすは小箱でなくて黒人選手でない」ということは成り立たない fact8: 「あの別館は現われ易いかもしくはそれは挙げ句であるかもしくはどちらもである」ということは正しくない fact9: この千八百人は罹り易いし人間っぽい fact10: あの五番手は存続すらない fact11: もしこのどぶすが罹り易いとすれば身障手帳である fact12: 「なにがしかのものは存続すらない」ということは真実であるならそれは公民権運動でない fact13: もしもこの千八百人が罹り易いし加えて人間っぽいとするとあの五番手は罹り易くない fact14: もし仮にあの五番手は存続すらないとすれば「吸収され易いかそれは損益通算出来るかもしくはどちらもだ」ということは事実と異なる fact15: 「このどぶすは小箱でないし黒人選手でない」ということは事実と異なるとしたらそれは創造活動でない fact16: このどぶすが減食であるとしたらあの五番手は身障手帳だ fact17: もし仮にあの五番手が存続すらないならそれは損益通算出来ない fact18: 働き易いものは減食であるかもしくは身障手帳でないかまたはどちらもだ fact19: もしもなにかは創造活動でないとすればそれは働き易いしかつそれはスワップ取り引きである fact20: 罹り易くない身障手帳はＹＫＫでない fact21: その婚姻は存続すらない fact22: あの五番手は損益通算出来ない ; $hypothesis$ = 「住居権でない」ものはある ; $proof$ = 
fact14 & fact10 -> int1: 「あの五番手は吸収され易いかそれは損益通算出来るかまたは両方ともだ」ということは成り立たない; int1 & fact6 -> int2: あの五番手は住居権でない; int2 -> hypothesis; __PROVED__
事実1: 仮に「ＹＫＫでない」物があるとすればその二年坂は存続すということはない一方で住居権である
事実2: もし仮にこのどぶすが身障手帳でないならあの五番手は身障手帳だ
事実3: あの五番手は立ち戻らない
事実4: このどぶすは罹り易い
事実5: なにがしかのものは住居権だ
事実6: もしも「あの五番手は吸収され易いかもしくは損益通算出来るかまたは両方である」ということは確かでないならばそれは住居権でない
事実7: 「このどぶすは小箱でなくて黒人選手でない」ということは成り立たない
事実8: 「あの別館は現われ易いかもしくはそれは挙げ句であるかもしくはどちらもである」ということは正しくない
事実9: この千八百人は罹り易いし人間っぽい
事実10: あの五番手は存続すらない
事実11: もしこのどぶすが罹り易いとすれば身障手帳である
事実12: 「なにがしかのものは存続すらない」ということは真実であるならそれは公民権運動でない
事実13: もしもこの千八百人が罹り易いし加えて人間っぽいとするとあの五番手は罹り易くない
事実14: もし仮にあの五番手は存続すらないとすれば「吸収され易いかそれは損益通算出来るかもしくはどちらもだ」ということは事実と異なる
事実15: 「このどぶすは小箱でないし黒人選手でない」ということは事実と異なるとしたらそれは創造活動でない
事実16: このどぶすが減食であるとしたらあの五番手は身障手帳だ
事実17: もし仮にあの五番手が存続すらないならそれは損益通算出来ない
事実18: 働き易いものは減食であるかもしくは身障手帳でないかまたはどちらもだ
事実19: もしもなにかは創造活動でないとすればそれは働き易いしかつそれはスワップ取り引きである
事実20: 罹り易くない身障手帳はＹＫＫでない
事実21: その婚姻は存続すらない
事実22: あの五番手は損益通算出来ない

仮説: 「住居権でない」ものはある
1. 事実14と事実10から、推論1: "「あの五番手は吸収され易いかそれは損益通算出来るかまたは両方ともだ」ということは成り立たない"が導かれる
2. 推論1と事実6から、推論2: "あの五番手は住居権でない"が導かれる
3. 推論2から、仮説が導かれる

よって、仮説が証明されました。