この階団は酔い易くない
fact1: あの債権総論は回さない fact2: あのＧＴＶは剥げ落ちない fact3: この組織型は回さない fact4: もしも「何かは回すかもしくはそれは楽しないかまたは両方ともである」ということは真実でないとしたら乗り易くない fact5: 「不動産登記法上であるということはないし乗り易くない」物があるとするとあのＧＴＶは回さない fact6: あの債権総論は不動産登記法上でないし更にそれは乗り易くない fact7: あの債権総論は不動産登記法上でない fact8: もし仮になんらかのものが回すということはないとすればそれは酔い易くない fact9: 「この階団は乗り易くないか酔い易くないかもしくはどちらもである」ということは成り立つ fact10: あの火砕流は乗り易くない fact11: 何らかのものが走り寄るということはないかもしくは旅宿でないか両方ともであるとしたらそれは書き難くない fact12: もし仮にあのＧＴＶが回さないとしたらこの階団は楽しないかまたはそれは回しないか両方だ fact13: とある物は不動産登記法上であるということはない一方で乗り易い fact14: その器面は梵天でない fact15: もしなにがしかのものは楽しということはないかあるいは回しないかあるいは両方だとするとそれは酔い易くない
fact6 -> int1: 「不動産登記法上でなくてしかも乗り易いということはない」物はある; int1 & fact5 -> int2: 「あのＧＴＶは回さない」ということは成り立つ; int2 & fact12 -> int3: この階団は楽しないかまたは回すということはないかもしくはどちらもだ; fact15 -> int4: この階団は楽しないかあるいは回しないかどちらもであるならば「酔い易くない」ということは誤りでない; int3 & int4 -> hypothesis;
この階団は酔い易い
fact17 -> int5: 仮に「「あのＧＴＶは回すかあるいは楽しないかどちらもである」ということは確かでない」ということは事実であるとしたらそれは乗り易くない; fact16 -> int6: 「梵天でない」物はある;
$facts$ = fact1: あの債権総論は回さない fact2: あのＧＴＶは剥げ落ちない fact3: この組織型は回さない fact4: もしも「何かは回すかもしくはそれは楽しないかまたは両方ともである」ということは真実でないとしたら乗り易くない fact5: 「不動産登記法上であるということはないし乗り易くない」物があるとするとあのＧＴＶは回さない fact6: あの債権総論は不動産登記法上でないし更にそれは乗り易くない fact7: あの債権総論は不動産登記法上でない fact8: もし仮になんらかのものが回すということはないとすればそれは酔い易くない fact9: 「この階団は乗り易くないか酔い易くないかもしくはどちらもである」ということは成り立つ fact10: あの火砕流は乗り易くない fact11: 何らかのものが走り寄るということはないかもしくは旅宿でないか両方ともであるとしたらそれは書き難くない fact12: もし仮にあのＧＴＶが回さないとしたらこの階団は楽しないかまたはそれは回しないか両方だ fact13: とある物は不動産登記法上であるということはない一方で乗り易い fact14: その器面は梵天でない fact15: もしなにがしかのものは楽しということはないかあるいは回しないかあるいは両方だとするとそれは酔い易くない ; $hypothesis$ = この階団は酔い易くない ; $proof$ = 
fact6 -> int1: 「不動産登記法上でなくてしかも乗り易いということはない」物はある; int1 & fact5 -> int2: 「あのＧＴＶは回さない」ということは成り立つ; int2 & fact12 -> int3: この階団は楽しないかまたは回すということはないかもしくはどちらもだ; fact15 -> int4: この階団は楽しないかあるいは回しないかどちらもであるならば「酔い易くない」ということは誤りでない; int3 & int4 -> hypothesis; __PROVED__
事実1: あの債権総論は回さない
事実2: あのＧＴＶは剥げ落ちない
事実3: この組織型は回さない
事実4: もしも「何かは回すかもしくはそれは楽しないかまたは両方ともである」ということは真実でないとしたら乗り易くない
事実5: 「不動産登記法上であるということはないし乗り易くない」物があるとするとあのＧＴＶは回さない
事実6: あの債権総論は不動産登記法上でないし更にそれは乗り易くない
事実7: あの債権総論は不動産登記法上でない
事実8: もし仮になんらかのものが回すということはないとすればそれは酔い易くない
事実9: 「この階団は乗り易くないか酔い易くないかもしくはどちらもである」ということは成り立つ
事実10: あの火砕流は乗り易くない
事実11: 何らかのものが走り寄るということはないかもしくは旅宿でないか両方ともであるとしたらそれは書き難くない
事実12: もし仮にあのＧＴＶが回さないとしたらこの階団は楽しないかまたはそれは回しないか両方だ
事実13: とある物は不動産登記法上であるということはない一方で乗り易い
事実14: その器面は梵天でない
事実15: もしなにがしかのものは楽しということはないかあるいは回しないかあるいは両方だとするとそれは酔い易くない

仮説: この階団は酔い易くない
1. 事実6から、推論1: "「不動産登記法上でなくてしかも乗り易いということはない」物はある"が導かれる
2. 推論1と事実5から、推論2: "「あのＧＴＶは回さない」ということは成り立つ"が導かれる
3. 推論2と事実12から、推論3: "この階団は楽しないかまたは回すということはないかもしくはどちらもだ"が導かれる
4. 事実15から、推論4: "この階団は楽しないかあるいは回しないかどちらもであるならば「酔い易くない」ということは誤りでない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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