このメインストリームは提訴するし業務分担だ
fact1: このメインストリームは異動後だ fact2: もし「「行い易くなくて寝苦しくない」ということは誤っている」物があるとしたらこの象徴化は寝苦しい fact3: あの組織作りが徴収しないがしかしそれが御美しいとするとあの包括利益は徴収しない fact4: もしあるものがアレンジャーでないならこのメインストリームは提訴する fact5: もし「寝苦しい」物があるならばあの組織作りは徴収しないが一字だ fact6: もしも「このメインストリームは異動後である」ということは偽でないとすればその経蔵は異動後だ fact7: もしもその国際放送等が異動後だということはないしさらにアレンジャーでないとすればあのメインストリームはアレンジャーでない fact8: もし仮になにかはアレンジャーでないとすれば「それが提訴するしその上それは業務分担だ」ということは間違っている fact9: 「アレンジャーである」ものはある fact10: もしも「何らかの物は御美しいということはないけれど浮き出る」ということは嘘であるならば御美しい fact11: 「浮き出ない」ものはあるなら「「あの組織作りは御美しくないけれど浮き出る」ということは間違いだ」ということは成り立つ fact12: その国際放送等は異動後だとすると「このメインストリームは異動後である」ということは正しい fact13: 「狭苦しくないしかつ成立し難くない」ものはある fact14: もしもなにかは第六表でないならばそれは異動後でないしおまけにアレンジャーでない fact15: その増税は分散する fact16: 「アレンジャーでない」ものはある fact17: 「このメインストリームは異動後であるし業務分担だ」ということは成り立つ fact18: もし仮になんらかのものは分散するなら「それは行い易いなくてそれは寝苦しくない」ということは誤りだ fact19: あの抗菌効果は業務分担だ fact20: あの包括利益が徴収しないなら恵まれなくてそれは御目覚めるということはない fact21: このメインストリームは居合わせる fact22: もし仮に「狭苦しくないし成立し難くない」物があるならその電波少年は浮き出るということはない fact23: その相性負け予防は提訴する
fact16 & fact4 -> int1: このメインストリームは提訴する; fact17 -> int2: このメインストリームは業務分担だ; int1 & int2 -> hypothesis;
fact16 & fact4 -> int1: {B}{a}; fact17 -> int2: {C}{a}; int1 & int2 -> hypothesis;
「「このメインストリームは提訴するし業務分担である」ということは事実と異なる」ということは成り立つ
fact33 -> int3: 仮にこのメインストリームはアレンジャーでないとしたら「それは提訴するしその上業務分担である」ということは嘘だ; fact30 -> int4: もし仮にその国際放送等が第六表であるということはないならばそれは異動後でなくてアレンジャーでない; fact35 -> int5: もし仮にその増税は分散すれば「それは行い易いということはなくて加えてそれは寝苦しくない」ということは成り立たない; int5 & fact25 -> int6: 「その増税は行い易くないしおまけに寝苦しくない」ということは嘘である; int6 -> int7: 「「行い易くなくて寝苦しくない」ということは確かでない」物はある; int7 & fact31 -> int8: この象徴化は寝苦しい; int8 -> int9: 「寝苦しい」ものはある; int9 & fact26 -> int10: あの組織作りは徴収しないけれど一字である; int10 -> int11: あの組織作りは徴収しない; fact28 -> int12: もしも「あの組織作りは御美しくない一方で浮き出る」ということは嘘だとしたら「御美しい」ということは本当である; fact36 & fact32 -> int13: その電波少年は浮き出ない; int13 -> int14: なにがしかの物は浮き出ない; int14 & fact27 -> int15: 「あの組織作りは御美しくないけどそれは浮き出る」ということは真実でない; int12 & int15 -> int16: あの組織作りは御美しい; int11 & int16 -> int17: あの組織作りは徴収しないがそれは御美しい; fact34 & int17 -> int18: あの包括利益は徴収しない; fact29 & int18 -> int19: あの包括利益は恵まれないしおまけに御目覚めない; int19 -> int20: 「恵まれないしさらに御目覚めない」ものはある;
$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$ = 
fact16 & fact4 -> int1: このメインストリームは提訴する; fact17 -> int2: このメインストリームは業務分担だ; int1 & int2 -> 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. 事実16と事実4から、推論1: "このメインストリームは提訴する"が導かれる
2. 事実17から、推論2: "このメインストリームは業務分担だ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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