この残代金は間接化する
fact1: 仮に「その副階は純水だがしかし天下布武でない」ということは成り立たないとするとこの総合長期譲渡所得は天下布武であるということはない fact2: 仮にその早馬がパイプラインでないとするとその副階はパイプラインであるかもしくはそれはコンクリートブロックであるかあるいはどちらもだ fact3: 仮にあるものが来易くないとしたらパイプラインでない fact4: この残代金は引っ越し費用でない fact5: もしも何らかの物が賀すなら社会保険料だ fact6: あの非組合員がパイプラインならこの残代金は間接化する fact7: このイヤー・チャクラは錨泊する fact8: 「あの非組合員は天下布武である」ということは確かならそれはパイプラインである fact9: もしも「あの非組合員は来易くないかまたはそれは間接化するかあるいは両方ともである」ということは事実と異なるとすればこの残代金は間接化しない fact10: その副階は天下布武でないけれどむさい fact11: もし仮に「何らかの物は来易い」ということは成り立つとするとバナーであるしまたそれはむさくない fact12: なにかは天下布武でないが錨泊するならそれはむさい fact13: 「その副階は純水だけれど天下布武でない」ということは真実でない fact14: この総合長期譲渡所得がパイプラインでないとするとあの非組合員はパイプラインであるかまたはそれはコンクリートブロックであるか両方だ fact15: 胡散臭い物は国家語だ fact16: もしこの総合長期譲渡所得が来易いとしたらそれはコンクリートブロックだ fact17: もしこの総合長期譲渡所得が間接化するならそれはコンクリートブロックだがしかし来易くない fact18: あの非組合員がコンクリートブロックであるとするとこの残代金は間接化する fact19: この総合長期譲渡所得は錨泊する fact20: もしその副階はパイプラインだとすれば「あの非組合員は来易くないかそれは間接化するかあるいは両方ともである」ということは事実でない fact21: もしあの十一時近くが天下布武でないとするとその副階はコンクリートブロックであるしそれはパイプラインだ fact22: 「その副階はコンクリートブロックだけど純水でない」ということは誤りだ fact23: この残代金は天下布武だ
fact11 -> int1: この総合長期譲渡所得が来易いとするとそれはバナーだけどむさくない; void -> assump1: 以下のように仮定する。この総合長期譲渡所得は来易い; int1 & assump1 -> int2: この総合長期譲渡所得はバナーであるけれどむさくない; int2 -> int3: この総合長期譲渡所得はむさくない; fact1 & fact13 -> int4: この総合長期譲渡所得は天下布武であるということはない; int4 & fact19 -> int5: この総合長期譲渡所得は天下布武でない一方でそれは錨泊する; fact12 -> int6: もしこの総合長期譲渡所得は天下布武でないがしかし錨泊するとしたらそれはむさい; int5 & int6 -> int7: この総合長期譲渡所得はむさい; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この総合長期譲渡所得は来易くない; fact3 -> int10: この総合長期譲渡所得が来易くないとしたらそれはパイプラインでない; int9 & int10 -> int11: この総合長期譲渡所得はパイプラインでない; int11 & fact14 -> int12: あの非組合員はパイプラインであるかあるいはそれはコンクリートブロックであるかあるいは両方ともである; int12 & fact6 & fact18 -> 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$ = 
fact11 -> int1: この総合長期譲渡所得が来易いとするとそれはバナーだけどむさくない; void -> assump1: 以下のように仮定する。この総合長期譲渡所得は来易い; int1 & assump1 -> int2: この総合長期譲渡所得はバナーであるけれどむさくない; int2 -> int3: この総合長期譲渡所得はむさくない; fact1 & fact13 -> int4: この総合長期譲渡所得は天下布武であるということはない; int4 & fact19 -> int5: この総合長期譲渡所得は天下布武でない一方でそれは錨泊する; fact12 -> int6: もしこの総合長期譲渡所得は天下布武でないがしかし錨泊するとしたらそれはむさい; int5 & int6 -> int7: この総合長期譲渡所得はむさい; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この総合長期譲渡所得は来易くない; fact3 -> int10: この総合長期譲渡所得が来易くないとしたらそれはパイプラインでない; int9 & int10 -> int11: この総合長期譲渡所得はパイプラインでない; int11 & fact14 -> int12: あの非組合員はパイプラインであるかあるいはそれはコンクリートブロックであるかあるいは両方ともである; int12 & fact6 & fact18 -> hypothesis; __PROVED__
事実1: 仮に「その副階は純水だがしかし天下布武でない」ということは成り立たないとするとこの総合長期譲渡所得は天下布武であるということはない
事実2: 仮にその早馬がパイプラインでないとするとその副階はパイプラインであるかもしくはそれはコンクリートブロックであるかあるいはどちらもだ
事実3: 仮にあるものが来易くないとしたらパイプラインでない
事実4: この残代金は引っ越し費用でない
事実5: もしも何らかの物が賀すなら社会保険料だ
事実6: あの非組合員がパイプラインならこの残代金は間接化する
事実7: このイヤー・チャクラは錨泊する
事実8: 「あの非組合員は天下布武である」ということは確かならそれはパイプラインである
事実9: もしも「あの非組合員は来易くないかまたはそれは間接化するかあるいは両方ともである」ということは事実と異なるとすればこの残代金は間接化しない
事実10: その副階は天下布武でないけれどむさい
事実11: もし仮に「何らかの物は来易い」ということは成り立つとするとバナーであるしまたそれはむさくない
事実12: なにかは天下布武でないが錨泊するならそれはむさい
事実13: 「その副階は純水だけれど天下布武でない」ということは真実でない
事実14: この総合長期譲渡所得がパイプラインでないとするとあの非組合員はパイプラインであるかまたはそれはコンクリートブロックであるか両方だ
事実15: 胡散臭い物は国家語だ
事実16: もしこの総合長期譲渡所得が来易いとしたらそれはコンクリートブロックだ
事実17: もしこの総合長期譲渡所得が間接化するならそれはコンクリートブロックだがしかし来易くない
事実18: あの非組合員がコンクリートブロックであるとするとこの残代金は間接化する
事実19: この総合長期譲渡所得は錨泊する
事実20: もしその副階はパイプラインだとすれば「あの非組合員は来易くないかそれは間接化するかあるいは両方ともである」ということは事実でない
事実21: もしあの十一時近くが天下布武でないとするとその副階はコンクリートブロックであるしそれはパイプラインだ
事実22: 「その副階はコンクリートブロックだけど純水でない」ということは誤りだ
事実23: この残代金は天下布武だ

仮説: この残代金は間接化する
1. 事実11から、推論1: "この総合長期譲渡所得が来易いとするとそれはバナーだけどむさくない"が導かれる
2. 仮定1: 以下のように仮定する。この総合長期譲渡所得は来易い
3. 推論1と仮定1から、推論2: "この総合長期譲渡所得はバナーであるけれどむさくない"が導かれる
4. 推論2から、推論3: "この総合長期譲渡所得はむさくない"が導かれる
5. 事実1と事実13から、推論4: "この総合長期譲渡所得は天下布武であるということはない"が導かれる
6. 推論4と事実19から、推論5: "この総合長期譲渡所得は天下布武でない一方でそれは錨泊する"が導かれる
7. 事実12から、推論6: "もしこの総合長期譲渡所得は天下布武でないがしかし錨泊するとしたらそれはむさい"が導かれる
8. 推論5と推論6から、推論7: "この総合長期譲渡所得はむさい"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "この総合長期譲渡所得は来易くない"が導かれる
11. 事実3から、推論10: "この総合長期譲渡所得が来易くないとしたらそれはパイプラインでない"が導かれる
12. 推論9と推論10から、推論11: "この総合長期譲渡所得はパイプラインでない"が導かれる
13. 推論11と事実14から、推論12: "あの非組合員はパイプラインであるかあるいはそれはコンクリートブロックであるかあるいは両方ともである"が導かれる
14. 推論12と事実6と事実18から、仮説が導かれる

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