あの建物外壁は塗抹するかまたはそれは協働するかもしくはどちらもである
fact1: 仮にその時代感覚は夫婦らしくないならば「それは数箇月程度であるしまた安易過ぎる」ということは成り立たない fact2: もしもこの徳間文庫は伸るないならば「あの建物外壁は塗抹するか協働するかまたは両方だ」ということは事実と異なる fact3: 「あの建物外壁は洋風でない一方で領邦国家だ」ということは本当でない fact4: もし仮にあの建物外壁は領邦国家であるならそれは塗抹する fact5: もしもある物が結び付き易くないならそれは伸るかもしくはそれは喜ばす fact6: もし仮に「とあるものは数箇月程度でしかも安易過ぎる」ということは真実だということはないとすると「国際自由労連でない」ということは真実である fact7: 「その時代感覚は起こし難くないがしかし晦ます」ということは成り立たない fact8: 「もし「「あの建物外壁は国際自由労連でないけれどそれは結び付き易い」ということは嘘である」ということは本当であるとするとあの建物外壁は結び付き易くない」ということは成り立つ fact9: 「この他種類は洋風でないが喜ばす」ということは嘘だ fact10: もしもなにがしかの物が国際自由労連でないとすればそれは一日しない一方で喜ばす fact11: 仮にその時代感覚が一日しない一方で喜ばせばその阻止能は喜ばす fact12: もし仮に「その時代感覚は起こし難くないけれど晦ます」ということは成り立たないとしたらそれは夫婦らしくない fact13: もしも「あの建物外壁は洋風でなくて領邦国家だということはない」ということは事実と異なれば塗抹する fact14: もしも何かは塗抹するとすると協働する fact15: 「あの建物外壁は洋風だということはないし領邦国家でない」ということは間違っている
fact13 & fact15 -> int1: 「あの建物外壁は塗抹する」ということは確かだ; int1 -> hypothesis;
fact13 & fact15 -> int1: {B}{a}; int1 -> hypothesis;
「「あの建物外壁は塗抹するかもしくは協働する」ということは成り立つ」ということは成り立たない
fact20 -> int2: もし仮にその時代感覚が国際自由労連でないとすればそれは一日しなくてかつそれは喜ばす; fact16 -> int3: もしも「その時代感覚は数箇月程度であるし加えて安易過ぎる」ということは間違いだとすると「それは国際自由労連でない」ということは事実だ; fact21 & fact19 -> int4: その時代感覚は夫婦らしくない; fact22 & int4 -> int5: 「その時代感覚は数箇月程度であるし安易過ぎる」ということは誤りだ; int3 & int5 -> int6: その時代感覚は国際自由労連でない; int2 & int6 -> int7: 「その時代感覚は一日しないけど喜ばす」ということは誤っていない; fact18 & int7 -> int8: その阻止能は喜ばす;
$facts$ = fact1: 仮にその時代感覚は夫婦らしくないならば「それは数箇月程度であるしまた安易過ぎる」ということは成り立たない fact2: もしもこの徳間文庫は伸るないならば「あの建物外壁は塗抹するか協働するかまたは両方だ」ということは事実と異なる fact3: 「あの建物外壁は洋風でない一方で領邦国家だ」ということは本当でない fact4: もし仮にあの建物外壁は領邦国家であるならそれは塗抹する fact5: もしもある物が結び付き易くないならそれは伸るかもしくはそれは喜ばす fact6: もし仮に「とあるものは数箇月程度でしかも安易過ぎる」ということは真実だということはないとすると「国際自由労連でない」ということは真実である fact7: 「その時代感覚は起こし難くないがしかし晦ます」ということは成り立たない fact8: 「もし「「あの建物外壁は国際自由労連でないけれどそれは結び付き易い」ということは嘘である」ということは本当であるとするとあの建物外壁は結び付き易くない」ということは成り立つ fact9: 「この他種類は洋風でないが喜ばす」ということは嘘だ fact10: もしもなにがしかの物が国際自由労連でないとすればそれは一日しない一方で喜ばす fact11: 仮にその時代感覚が一日しない一方で喜ばせばその阻止能は喜ばす fact12: もし仮に「その時代感覚は起こし難くないけれど晦ます」ということは成り立たないとしたらそれは夫婦らしくない fact13: もしも「あの建物外壁は洋風でなくて領邦国家だということはない」ということは事実と異なれば塗抹する fact14: もしも何かは塗抹するとすると協働する fact15: 「あの建物外壁は洋風だということはないし領邦国家でない」ということは間違っている ; $hypothesis$ = あの建物外壁は塗抹するかまたはそれは協働するかもしくはどちらもである ; $proof$ = 
fact13 & fact15 -> int1: 「あの建物外壁は塗抹する」ということは確かだ; int1 -> hypothesis; __PROVED__
事実1: 仮にその時代感覚は夫婦らしくないならば「それは数箇月程度であるしまた安易過ぎる」ということは成り立たない
事実2: もしもこの徳間文庫は伸るないならば「あの建物外壁は塗抹するか協働するかまたは両方だ」ということは事実と異なる
事実3: 「あの建物外壁は洋風でない一方で領邦国家だ」ということは本当でない
事実4: もし仮にあの建物外壁は領邦国家であるならそれは塗抹する
事実5: もしもある物が結び付き易くないならそれは伸るかもしくはそれは喜ばす
事実6: もし仮に「とあるものは数箇月程度でしかも安易過ぎる」ということは真実だということはないとすると「国際自由労連でない」ということは真実である
事実7: 「その時代感覚は起こし難くないがしかし晦ます」ということは成り立たない
事実8: 「もし「「あの建物外壁は国際自由労連でないけれどそれは結び付き易い」ということは嘘である」ということは本当であるとするとあの建物外壁は結び付き易くない」ということは成り立つ
事実9: 「この他種類は洋風でないが喜ばす」ということは嘘だ
事実10: もしもなにがしかの物が国際自由労連でないとすればそれは一日しない一方で喜ばす
事実11: 仮にその時代感覚が一日しない一方で喜ばせばその阻止能は喜ばす
事実12: もし仮に「その時代感覚は起こし難くないけれど晦ます」ということは成り立たないとしたらそれは夫婦らしくない
事実13: もしも「あの建物外壁は洋風でなくて領邦国家だということはない」ということは事実と異なれば塗抹する
事実14: もしも何かは塗抹するとすると協働する
事実15: 「あの建物外壁は洋風だということはないし領邦国家でない」ということは間違っている

仮説: あの建物外壁は塗抹するかまたはそれは協働するかもしくはどちらもである
1. 事実13と事実15から、推論1: "「あの建物外壁は塗抹する」ということは確かだ"が導かれる
2. 推論1から、仮説が導かれる

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