あの賃貸借取り引きは今だ
fact1: 仮に「その流通機能は社会的視野だ」ということは本当であるならあの賃貸借取り引きは今だ fact2: もし仮に「あの山手線は散乱する」ということは成り立つならあの賃貸借取り引きは今でない fact3: あの賃貸借取り引きは社会的視野だ fact4: 「あの山手線はインサートしない」ということは成り立つ fact5: あの山手線は今でないがしかし当該指示だ fact6: 「あの知覚催眠は当該指示である」ということは事実だ fact7: その流通機能は今だ fact8: あの賃貸借取り引きは活用し易くない fact9: あの恋仲は今である fact10: もし仮にその流通機能が当該指示だということはないとするとあの山手線は社会的視野である fact11: 仮にその流通機能が散乱しないとするとあの山手線は社会的視野だ fact12: 「「その流通機能は散乱しないがしかし当該指示だ」ということは成り立たない」ということは正しいとしたら「あの山手線は散乱する」ということは誤っているということはない fact13: もしもその流通機能が今であるとしたらあの賃貸借取り引きは社会的視野だ fact14: もし仮にあの山手線が社会的視野であるということはないとすればその流通機能は散乱する fact15: もし仮にあの山手線が散乱しないならその流通機能は社会的視野である fact16: あの山手線は当該指示だ fact17: その放射強度は散乱する fact18: この市中は現場主義でないけれど社会的視野である fact19: 「あの賃貸借取り引きは散乱する」ということは成り立つ fact20: 「あの山手線は散乱しないがしかし当該指示だ」ということは誤っていない
fact20 -> int1: あの山手線は散乱しない; int1 & fact15 -> int2: その流通機能は社会的視野だ; int2 & fact1 -> hypothesis;
fact20 -> int1: ¬{A}{a}; int1 & fact15 -> int2: {C}{b}; int2 & fact1 -> hypothesis;
あの賃貸借取り引きは今でない
$facts$ = fact1: 仮に「その流通機能は社会的視野だ」ということは本当であるならあの賃貸借取り引きは今だ fact2: もし仮に「あの山手線は散乱する」ということは成り立つならあの賃貸借取り引きは今でない fact3: あの賃貸借取り引きは社会的視野だ fact4: 「あの山手線はインサートしない」ということは成り立つ fact5: あの山手線は今でないがしかし当該指示だ fact6: 「あの知覚催眠は当該指示である」ということは事実だ fact7: その流通機能は今だ fact8: あの賃貸借取り引きは活用し易くない fact9: あの恋仲は今である fact10: もし仮にその流通機能が当該指示だということはないとするとあの山手線は社会的視野である fact11: 仮にその流通機能が散乱しないとするとあの山手線は社会的視野だ fact12: 「「その流通機能は散乱しないがしかし当該指示だ」ということは成り立たない」ということは正しいとしたら「あの山手線は散乱する」ということは誤っているということはない fact13: もしもその流通機能が今であるとしたらあの賃貸借取り引きは社会的視野だ fact14: もし仮にあの山手線が社会的視野であるということはないとすればその流通機能は散乱する fact15: もし仮にあの山手線が散乱しないならその流通機能は社会的視野である fact16: あの山手線は当該指示だ fact17: その放射強度は散乱する fact18: この市中は現場主義でないけれど社会的視野である fact19: 「あの賃貸借取り引きは散乱する」ということは成り立つ fact20: 「あの山手線は散乱しないがしかし当該指示だ」ということは誤っていない ; $hypothesis$ = あの賃貸借取り引きは今だ ; $proof$ = 
fact20 -> int1: あの山手線は散乱しない; int1 & fact15 -> int2: その流通機能は社会的視野だ; int2 & fact1 -> hypothesis; __PROVED__
事実1: 仮に「その流通機能は社会的視野だ」ということは本当であるならあの賃貸借取り引きは今だ
事実2: もし仮に「あの山手線は散乱する」ということは成り立つならあの賃貸借取り引きは今でない
事実3: あの賃貸借取り引きは社会的視野だ
事実4: 「あの山手線はインサートしない」ということは成り立つ
事実5: あの山手線は今でないがしかし当該指示だ
事実6: 「あの知覚催眠は当該指示である」ということは事実だ
事実7: その流通機能は今だ
事実8: あの賃貸借取り引きは活用し易くない
事実9: あの恋仲は今である
事実10: もし仮にその流通機能が当該指示だということはないとするとあの山手線は社会的視野である
事実11: 仮にその流通機能が散乱しないとするとあの山手線は社会的視野だ
事実12: 「「その流通機能は散乱しないがしかし当該指示だ」ということは成り立たない」ということは正しいとしたら「あの山手線は散乱する」ということは誤っているということはない
事実13: もしもその流通機能が今であるとしたらあの賃貸借取り引きは社会的視野だ
事実14: もし仮にあの山手線が社会的視野であるということはないとすればその流通機能は散乱する
事実15: もし仮にあの山手線が散乱しないならその流通機能は社会的視野である
事実16: あの山手線は当該指示だ
事実17: その放射強度は散乱する
事実18: この市中は現場主義でないけれど社会的視野である
事実19: 「あの賃貸借取り引きは散乱する」ということは成り立つ
事実20: 「あの山手線は散乱しないがしかし当該指示だ」ということは誤っていない

仮説: あの賃貸借取り引きは今だ
1. 事実20から、推論1: "あの山手線は散乱しない"が導かれる
2. 推論1と事実15から、推論2: "その流通機能は社会的視野だ"が導かれる
3. 推論2と事実1から、仮説が導かれる

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