この予告は御願い出来るということはなくてそれにそれは悩み抜かない
fact1: 仮に「あの製麺機は塗抹陽性患者である」ということは正しいならばオープンソースソフトウェアである fact2: もし仮にあの製麺機が作出しないならその後根神経節は作出しない fact3: もしあの製麺機が悩み抜くということはないならこの予告は御願い出来ないしそれは悩み抜かない fact4: もしもとあるものがオープンソースソフトウェアでない一方でそれが塗抹陽性患者ならあの製麺機は悩み抜く fact5: そのアンコールは飲み忘れる fact6: 仮にあの製麺機がオープンソースソフトウェアだとすればあの後根神経節は作出する fact7: もしもなんらかの物が作出するということはないとすると塗抹陽性患者でなくてオープンソースソフトウェアである fact8: もし仮に「その後根神経節はおっかしいししかも作出する」ということは成り立つとしたら「そのアンコールは飲み忘れない」ということは真実だ fact9: 「あの製麺機は悩み抜かない」ということは本当ならそのアンコールは悩み抜かない fact10: もしもあの製麺機が悩み抜かないとしたらこの予告は悩み抜かない fact11: もし仮にあの製麺機は塗抹陽性患者でないとしたら悩み抜かない fact12: そのアンコールはおっかしい fact13: この予告は飲み忘れるがおっかしくないならばそれは作出するということはない fact14: その後根神経節はおっかしい fact15: この予告は悩み抜かない fact16: その後根神経節は御願い出来る fact17: もしそのアンコールがおっかしくないとするとその後根神経節は作出しない fact18: その認定調査は飲み忘れる
void -> assump1: 以下のように仮定する。あの製麺機は塗抹陽性患者である; fact1 & assump1 -> int1: あの製麺機はオープンソースソフトウェアである; int1 & fact6 -> int2: その後根神経節は作出する; int2 & fact14 -> int3: その後根神経節はおっかしいし更に作出する; int3 & fact8 -> int4: そのアンコールは飲み忘れない; int4 & fact5 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの製麺機は塗抹陽性患者でない; int6 & fact11 -> int7: あの製麺機は悩み抜かない; int7 & fact3 -> hypothesis;
「この予告は御願い出来なくて更にそれは悩み抜かない」ということは誤りである
$facts$ = fact1: 仮に「あの製麺機は塗抹陽性患者である」ということは正しいならばオープンソースソフトウェアである fact2: もし仮にあの製麺機が作出しないならその後根神経節は作出しない fact3: もしあの製麺機が悩み抜くということはないならこの予告は御願い出来ないしそれは悩み抜かない fact4: もしもとあるものがオープンソースソフトウェアでない一方でそれが塗抹陽性患者ならあの製麺機は悩み抜く fact5: そのアンコールは飲み忘れる fact6: 仮にあの製麺機がオープンソースソフトウェアだとすればあの後根神経節は作出する fact7: もしもなんらかの物が作出するということはないとすると塗抹陽性患者でなくてオープンソースソフトウェアである fact8: もし仮に「その後根神経節はおっかしいししかも作出する」ということは成り立つとしたら「そのアンコールは飲み忘れない」ということは真実だ fact9: 「あの製麺機は悩み抜かない」ということは本当ならそのアンコールは悩み抜かない fact10: もしもあの製麺機が悩み抜かないとしたらこの予告は悩み抜かない fact11: もし仮にあの製麺機は塗抹陽性患者でないとしたら悩み抜かない fact12: そのアンコールはおっかしい fact13: この予告は飲み忘れるがおっかしくないならばそれは作出するということはない fact14: その後根神経節はおっかしい fact15: この予告は悩み抜かない fact16: その後根神経節は御願い出来る fact17: もしそのアンコールがおっかしくないとするとその後根神経節は作出しない fact18: その認定調査は飲み忘れる ; $hypothesis$ = この予告は御願い出来るということはなくてそれにそれは悩み抜かない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの製麺機は塗抹陽性患者である; fact1 & assump1 -> int1: あの製麺機はオープンソースソフトウェアである; int1 & fact6 -> int2: その後根神経節は作出する; int2 & fact14 -> int3: その後根神経節はおっかしいし更に作出する; int3 & fact8 -> int4: そのアンコールは飲み忘れない; int4 & fact5 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの製麺機は塗抹陽性患者でない; int6 & fact11 -> int7: あの製麺機は悩み抜かない; int7 & fact3 -> hypothesis; __PROVED__
事実1: 仮に「あの製麺機は塗抹陽性患者である」ということは正しいならばオープンソースソフトウェアである
事実2: もし仮にあの製麺機が作出しないならその後根神経節は作出しない
事実3: もしあの製麺機が悩み抜くということはないならこの予告は御願い出来ないしそれは悩み抜かない
事実4: もしもとあるものがオープンソースソフトウェアでない一方でそれが塗抹陽性患者ならあの製麺機は悩み抜く
事実5: そのアンコールは飲み忘れる
事実6: 仮にあの製麺機がオープンソースソフトウェアだとすればあの後根神経節は作出する
事実7: もしもなんらかの物が作出するということはないとすると塗抹陽性患者でなくてオープンソースソフトウェアである
事実8: もし仮に「その後根神経節はおっかしいししかも作出する」ということは成り立つとしたら「そのアンコールは飲み忘れない」ということは真実だ
事実9: 「あの製麺機は悩み抜かない」ということは本当ならそのアンコールは悩み抜かない
事実10: もしもあの製麺機が悩み抜かないとしたらこの予告は悩み抜かない
事実11: もし仮にあの製麺機は塗抹陽性患者でないとしたら悩み抜かない
事実12: そのアンコールはおっかしい
事実13: この予告は飲み忘れるがおっかしくないならばそれは作出するということはない
事実14: その後根神経節はおっかしい
事実15: この予告は悩み抜かない
事実16: その後根神経節は御願い出来る
事実17: もしそのアンコールがおっかしくないとするとその後根神経節は作出しない
事実18: その認定調査は飲み忘れる

仮説: この予告は御願い出来るということはなくてそれにそれは悩み抜かない
1. 仮定1: 以下のように仮定する。あの製麺機は塗抹陽性患者である
2. 事実1と仮定1から、推論1: "あの製麺機はオープンソースソフトウェアである"が導かれる
3. 推論1と事実6から、推論2: "その後根神経節は作出する"が導かれる
4. 推論2と事実14から、推論3: "その後根神経節はおっかしいし更に作出する"が導かれる
5. 推論3と事実8から、推論4: "そのアンコールは飲み忘れない"が導かれる
6. 推論4と事実5から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの製麺機は塗抹陽性患者でない"が導かれる
8. 推論6と事実11から、推論7: "あの製麺機は悩み抜かない"が導かれる
9. 推論7と事実3から、仮説が導かれる

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