この悲しみは実行し易いものでありさらに平均化しない
fact1: あのワインセラーは卸商だしさらに旅団だ fact2: もしも「あの非乾燥法は青二才であるということはない」ということは事実であるとすればその立体性は平均化しない fact3: あの非乾燥法はこよなくないかそれは平均化する fact4: もしその立体性が平均化しないとしたらこの悲しみは実行し易い fact5: 「あのワインセラーは旅団だ」ということは正しいとすればあの非乾燥法は青二才であるかあるいはこよない fact6: もし仮にあのワインセラーが平均化しないかもしくは旅団であるかもしくはどちらもならばその立体性は卸商だということはない fact7: もし仮にあのワインセラーは旅団であるとすると「あの非乾燥法は青二才でないかあるいはこよないかもしくはどちらもである」ということは成り立つ fact8: もし仮にその立体性はこよないとすると「あの非乾燥法は青二才であるということはないかあるいは旅団であるか両方ともだ」ということは成り立たない fact9: もし仮にあの非乾燥法が青二才でないかまたはこよないかあるいはどちらもであるならばその立体性は平均化しない fact10: もし仮にその立体性が平均化しないとすればこの悲しみは実行し易いがしかしそれは平均化しない fact11: あのワインセラーは卸商である fact12: 「この悲しみは実行し易い」ということは確かである
fact1 -> int1: あのワインセラーは旅団である; int1 & fact7 -> int2: あの非乾燥法は青二才でないかあるいはこよないかあるいは両方ともだ; int2 & fact9 -> int3: その立体性は平均化しない; int3 & fact10 -> hypothesis;
「この悲しみは実行し易いけど平均化しない」ということは成り立つということはない
$facts$ = fact1: あのワインセラーは卸商だしさらに旅団だ fact2: もしも「あの非乾燥法は青二才であるということはない」ということは事実であるとすればその立体性は平均化しない fact3: あの非乾燥法はこよなくないかそれは平均化する fact4: もしその立体性が平均化しないとしたらこの悲しみは実行し易い fact5: 「あのワインセラーは旅団だ」ということは正しいとすればあの非乾燥法は青二才であるかあるいはこよない fact6: もし仮にあのワインセラーが平均化しないかもしくは旅団であるかもしくはどちらもならばその立体性は卸商だということはない fact7: もし仮にあのワインセラーは旅団であるとすると「あの非乾燥法は青二才でないかあるいはこよないかもしくはどちらもである」ということは成り立つ fact8: もし仮にその立体性はこよないとすると「あの非乾燥法は青二才であるということはないかあるいは旅団であるか両方ともだ」ということは成り立たない fact9: もし仮にあの非乾燥法が青二才でないかまたはこよないかあるいはどちらもであるならばその立体性は平均化しない fact10: もし仮にその立体性が平均化しないとすればこの悲しみは実行し易いがしかしそれは平均化しない fact11: あのワインセラーは卸商である fact12: 「この悲しみは実行し易い」ということは確かである ; $hypothesis$ = この悲しみは実行し易いものでありさらに平均化しない ; $proof$ = 
fact1 -> int1: あのワインセラーは旅団である; int1 & fact7 -> int2: あの非乾燥法は青二才でないかあるいはこよないかあるいは両方ともだ; int2 & fact9 -> int3: その立体性は平均化しない; int3 & fact10 -> hypothesis; __PROVED__
事実1: あのワインセラーは卸商だしさらに旅団だ
事実2: もしも「あの非乾燥法は青二才であるということはない」ということは事実であるとすればその立体性は平均化しない
事実3: あの非乾燥法はこよなくないかそれは平均化する
事実4: もしその立体性が平均化しないとしたらこの悲しみは実行し易い
事実5: 「あのワインセラーは旅団だ」ということは正しいとすればあの非乾燥法は青二才であるかあるいはこよない
事実6: もし仮にあのワインセラーが平均化しないかもしくは旅団であるかもしくはどちらもならばその立体性は卸商だということはない
事実7: もし仮にあのワインセラーは旅団であるとすると「あの非乾燥法は青二才でないかあるいはこよないかもしくはどちらもである」ということは成り立つ
事実8: もし仮にその立体性はこよないとすると「あの非乾燥法は青二才であるということはないかあるいは旅団であるか両方ともだ」ということは成り立たない
事実9: もし仮にあの非乾燥法が青二才でないかまたはこよないかあるいはどちらもであるならばその立体性は平均化しない
事実10: もし仮にその立体性が平均化しないとすればこの悲しみは実行し易いがしかしそれは平均化しない
事実11: あのワインセラーは卸商である
事実12: 「この悲しみは実行し易い」ということは確かである

仮説: この悲しみは実行し易いものでありさらに平均化しない
1. 事実1から、推論1: "あのワインセラーは旅団である"が導かれる
2. 推論1と事実7から、推論2: "あの非乾燥法は青二才でないかあるいはこよないかあるいは両方ともだ"が導かれる
3. 推論2と事実9から、推論3: "その立体性は平均化しない"が導かれる
4. 推論3と事実10から、仮説が導かれる

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