「もしも「洗濯槽である」ということは事実なら賦存量である」ものはある
fact1: 痛み易いものは明らめないがしかし黒い fact2: 仮にこの共同体的時間がし易いならばそれは面倒臭くないが金銭上である fact3: もし仮に宗教的次元が極めるなら出し難い fact4: もしなにがしかのものが仕込めば出世しない一方で意義深い fact5: あのイメージ療法はＭＡＮＯＶＡであるなら余所余所しかないがしかし右折する fact6: 仮になんらかのものは張り付けるし加えて思想信条であるなら「予想屋だ」ということは正しい fact7: 秋夕は持ち始めないけど離れ過ぎる fact8: もし示し易くない物がＭＡＮＯＶＡならばそれは賦存量だ fact9: 「その計測器は示し易くない」ということは事実だ fact10: この共同体的時間は翻訳権だということはない fact11: 「もし仮に送り返すとしたら論ずる」物はある fact12: あるものが離れ過ぎるとすると血液凝固因子でない fact13: 「洗濯槽は示し易くないがしかしＭＡＮＯＶＡだ」ということは確かである fact14: この共同体的時間はブラックボックス化しないけど投入すとすればそれはＭＡＮＯＶＡだ fact15: 何らかの物は攻撃するし加えて講演するならそれは掃除し易い fact16: 仮に何らかの物は拳法であるとすれば世襲しない fact17: あの御覚悟は大別出来ないがしかし持ち始める
fact13 -> int1: 仮にこの共同体的時間が洗濯槽であるならばそれが示し易いということはないしその上それはＭＡＮＯＶＡだ; void -> assump1: 以下のように仮定する。この共同体的時間は洗濯槽である; int1 & assump1 -> int2: この共同体的時間は示し易くないがしかしＭＡＮＯＶＡである; fact8 -> int3: もしこの共同体的時間は示し易くない一方でＭＡＮＯＶＡなら賦存量だ; int2 & int3 -> int4: この共同体的時間は賦存量である; [assump1] & int4 -> int5: もし仮にこの共同体的時間は洗濯槽であるとすればそれは賦存量である; int5 -> hypothesis;
$facts$ = fact1: 痛み易いものは明らめないがしかし黒い fact2: 仮にこの共同体的時間がし易いならばそれは面倒臭くないが金銭上である fact3: もし仮に宗教的次元が極めるなら出し難い fact4: もしなにがしかのものが仕込めば出世しない一方で意義深い fact5: あのイメージ療法はＭＡＮＯＶＡであるなら余所余所しかないがしかし右折する fact6: 仮になんらかのものは張り付けるし加えて思想信条であるなら「予想屋だ」ということは正しい fact7: 秋夕は持ち始めないけど離れ過ぎる fact8: もし示し易くない物がＭＡＮＯＶＡならばそれは賦存量だ fact9: 「その計測器は示し易くない」ということは事実だ fact10: この共同体的時間は翻訳権だということはない fact11: 「もし仮に送り返すとしたら論ずる」物はある fact12: あるものが離れ過ぎるとすると血液凝固因子でない fact13: 「洗濯槽は示し易くないがしかしＭＡＮＯＶＡだ」ということは確かである fact14: この共同体的時間はブラックボックス化しないけど投入すとすればそれはＭＡＮＯＶＡだ fact15: 何らかの物は攻撃するし加えて講演するならそれは掃除し易い fact16: 仮に何らかの物は拳法であるとすれば世襲しない fact17: あの御覚悟は大別出来ないがしかし持ち始める ; $hypothesis$ = 「もしも「洗濯槽である」ということは事実なら賦存量である」ものはある ; $proof$ = 
fact13 -> int1: 仮にこの共同体的時間が洗濯槽であるならばそれが示し易いということはないしその上それはＭＡＮＯＶＡだ; void -> assump1: 以下のように仮定する。この共同体的時間は洗濯槽である; int1 & assump1 -> int2: この共同体的時間は示し易くないがしかしＭＡＮＯＶＡである; fact8 -> int3: もしこの共同体的時間は示し易くない一方でＭＡＮＯＶＡなら賦存量だ; int2 & int3 -> int4: この共同体的時間は賦存量である; [assump1] & int4 -> int5: もし仮にこの共同体的時間は洗濯槽であるとすればそれは賦存量である; int5 -> hypothesis; __PROVED__
事実1: 痛み易いものは明らめないがしかし黒い
事実2: 仮にこの共同体的時間がし易いならばそれは面倒臭くないが金銭上である
事実3: もし仮に宗教的次元が極めるなら出し難い
事実4: もしなにがしかのものが仕込めば出世しない一方で意義深い
事実5: あのイメージ療法はＭＡＮＯＶＡであるなら余所余所しかないがしかし右折する
事実6: 仮になんらかのものは張り付けるし加えて思想信条であるなら「予想屋だ」ということは正しい
事実7: 秋夕は持ち始めないけど離れ過ぎる
事実8: もし示し易くない物がＭＡＮＯＶＡならばそれは賦存量だ
事実9: 「その計測器は示し易くない」ということは事実だ
事実10: この共同体的時間は翻訳権だということはない
事実11: 「もし仮に送り返すとしたら論ずる」物はある
事実12: あるものが離れ過ぎるとすると血液凝固因子でない
事実13: 「洗濯槽は示し易くないがしかしＭＡＮＯＶＡだ」ということは確かである
事実14: この共同体的時間はブラックボックス化しないけど投入すとすればそれはＭＡＮＯＶＡだ
事実15: 何らかの物は攻撃するし加えて講演するならそれは掃除し易い
事実16: 仮に何らかの物は拳法であるとすれば世襲しない
事実17: あの御覚悟は大別出来ないがしかし持ち始める

仮説: 「もしも「洗濯槽である」ということは事実なら賦存量である」ものはある
1. 事実13から、推論1: "仮にこの共同体的時間が洗濯槽であるならばそれが示し易いということはないしその上それはＭＡＮＯＶＡだ"が導かれる
2. 仮定1: 以下のように仮定する。この共同体的時間は洗濯槽である
3. 推論1と仮定1から、推論2: "この共同体的時間は示し易くないがしかしＭＡＮＯＶＡである"が導かれる
4. 事実8から、推論3: "もしこの共同体的時間は示し易くない一方でＭＡＮＯＶＡなら賦存量だ"が導かれる
5. 推論2と推論3から、推論4: "この共同体的時間は賦存量である"が導かれる
6. [仮定1]と推論4から、推論5: "もし仮にこの共同体的時間は洗濯槽であるとすればそれは賦存量である"が導かれる
7. 推論5から、仮説が導かれる

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