もし仮にその手術所見が政策目標でないならばその白秋全集はゆらゆらする一方で線形計画法でない
fact1: もしその白秋全集はゆらゆらしないなら「あの訴訟行為は線形計画法でない」ということは成り立つ fact2: その白秋全集は眠たい fact3: その手術所見はめでたし fact4: もし仮にその白秋全集がめでたしとするとあの訴訟行為はめでたしがゆらゆらしない fact5: あの訴訟行為は政策目標だとすると「その白秋全集は線形計画法であるけれどめでたしない」ということは真実である fact6: もし仮にあの訴訟行為が政策目標ならその白秋全集はめでたししまたゆらゆらする fact7: 仮にあの訴訟行為が政策目標でないならその手術所見はゆらゆらするしめでたし fact8: 全てのものはデビュー曲であるし被割込み車だ fact9: その白秋全集がめでたしとしたらあの訴訟行為は線形計画法でまたゆらゆらする fact10: その白秋全集が線形計画法ならあの訴訟行為は政策目標だがめでたしない fact11: もしあの訴訟行為が政策目標であるとしたらその手術所見は政策目標である一方でゆらゆらしない fact12: その白秋全集は扱き出すし更にそれは政策目標である fact13: もしあの訴訟行為がゆらゆらするとしたらその白秋全集はゆらゆらするがしかし線形計画法でない fact14: 仮にその白秋全集がゆらゆらするとするとあの訴訟行為はめでたしが線形計画法でない fact15: もし仮にその手術所見が政策目標でないとしたらあの訴訟行為はめでたししゆらゆらする fact16: あの訴訟行為は線形計画法でない
void -> assump1: 以下のように仮定する。その手術所見は政策目標でない; fact15 & assump1 -> int1: あの訴訟行為はめでたししゆらゆらする; int1 -> int2: あの訴訟行為はゆらゆらする; int2 & fact13 -> int3: その白秋全集はゆらゆらするけど線形計画法でない; [assump1] & int3 -> hypothesis;
この埋没車両は穿かすしゆらゆらする
fact17 -> int4: あの訴訟行為はデビュー曲でおまけに被割込み車だ; int4 -> int5: あの訴訟行為は被割込み車である; int5 -> int6: 全ては被割込み車である; int6 -> int7: その手術所見は被割込み車である;
$facts$ = fact1: もしその白秋全集はゆらゆらしないなら「あの訴訟行為は線形計画法でない」ということは成り立つ fact2: その白秋全集は眠たい fact3: その手術所見はめでたし fact4: もし仮にその白秋全集がめでたしとするとあの訴訟行為はめでたしがゆらゆらしない fact5: あの訴訟行為は政策目標だとすると「その白秋全集は線形計画法であるけれどめでたしない」ということは真実である fact6: もし仮にあの訴訟行為が政策目標ならその白秋全集はめでたししまたゆらゆらする fact7: 仮にあの訴訟行為が政策目標でないならその手術所見はゆらゆらするしめでたし fact8: 全てのものはデビュー曲であるし被割込み車だ fact9: その白秋全集がめでたしとしたらあの訴訟行為は線形計画法でまたゆらゆらする fact10: その白秋全集が線形計画法ならあの訴訟行為は政策目標だがめでたしない fact11: もしあの訴訟行為が政策目標であるとしたらその手術所見は政策目標である一方でゆらゆらしない fact12: その白秋全集は扱き出すし更にそれは政策目標である fact13: もしあの訴訟行為がゆらゆらするとしたらその白秋全集はゆらゆらするがしかし線形計画法でない fact14: 仮にその白秋全集がゆらゆらするとするとあの訴訟行為はめでたしが線形計画法でない fact15: もし仮にその手術所見が政策目標でないとしたらあの訴訟行為はめでたししゆらゆらする fact16: あの訴訟行為は線形計画法でない ; $hypothesis$ = もし仮にその手術所見が政策目標でないならばその白秋全集はゆらゆらする一方で線形計画法でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その手術所見は政策目標でない; fact15 & assump1 -> int1: あの訴訟行為はめでたししゆらゆらする; int1 -> int2: あの訴訟行為はゆらゆらする; int2 & fact13 -> int3: その白秋全集はゆらゆらするけど線形計画法でない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしその白秋全集はゆらゆらしないなら「あの訴訟行為は線形計画法でない」ということは成り立つ
事実2: その白秋全集は眠たい
事実3: その手術所見はめでたし
事実4: もし仮にその白秋全集がめでたしとするとあの訴訟行為はめでたしがゆらゆらしない
事実5: あの訴訟行為は政策目標だとすると「その白秋全集は線形計画法であるけれどめでたしない」ということは真実である
事実6: もし仮にあの訴訟行為が政策目標ならその白秋全集はめでたししまたゆらゆらする
事実7: 仮にあの訴訟行為が政策目標でないならその手術所見はゆらゆらするしめでたし
事実8: 全てのものはデビュー曲であるし被割込み車だ
事実9: その白秋全集がめでたしとしたらあの訴訟行為は線形計画法でまたゆらゆらする
事実10: その白秋全集が線形計画法ならあの訴訟行為は政策目標だがめでたしない
事実11: もしあの訴訟行為が政策目標であるとしたらその手術所見は政策目標である一方でゆらゆらしない
事実12: その白秋全集は扱き出すし更にそれは政策目標である
事実13: もしあの訴訟行為がゆらゆらするとしたらその白秋全集はゆらゆらするがしかし線形計画法でない
事実14: 仮にその白秋全集がゆらゆらするとするとあの訴訟行為はめでたしが線形計画法でない
事実15: もし仮にその手術所見が政策目標でないとしたらあの訴訟行為はめでたししゆらゆらする
事実16: あの訴訟行為は線形計画法でない

仮説: もし仮にその手術所見が政策目標でないならばその白秋全集はゆらゆらする一方で線形計画法でない
1. 仮定1: 以下のように仮定する。その手術所見は政策目標でない
2. 事実15と仮定1から、推論1: "あの訴訟行為はめでたししゆらゆらする"が導かれる
3. 推論1から、推論2: "あの訴訟行為はゆらゆらする"が導かれる
4. 推論2と事実13から、推論3: "その白秋全集はゆらゆらするけど線形計画法でない"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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