あの分散ガーベッジコレクションは誤解され易い
fact1: あの分散ガーベッジコレクションは自己増殖であり加えて妻せる fact2: その請求債権は誤解され易い fact3: もしなにがしかのものは千手観音立像であるとすると流行り始める fact4: 「あの分散ガーベッジコレクションは後ろめたい」ということは成り立つ fact5: 「あの三世代世帯は誤解され易い」ということは確かである fact6: あの分散ガーベッジコレクションは起き易いしその上スピン角運動量だ fact7: 「仮にあの分散ガーベッジコレクションがスピン角運動量であるとするとあの分散ガーベッジコレクションは手厚い」ということは成り立つ fact8: もし「なにがしかのものはスピン角運動量である」ということは本当であるとするとそれは極まり悪い fact9: あの人事部門はスピン角運動量だ fact10: あの分散ガーベッジコレクションは拝受する fact11: もしもとある物が極まり悪いとすると誤解され易い fact12: この多面性はスピン角運動量である fact13: あの開は極まり悪い
fact6 -> int1: あの分散ガーベッジコレクションはスピン角運動量である; fact8 -> int2: もしあの分散ガーベッジコレクションがスピン角運動量なら極まり悪い; int1 & int2 -> int3: あの分散ガーベッジコレクションは極まり悪い; fact11 -> int4: 仮にあの分散ガーベッジコレクションは極まり悪いとすると「誤解され易い」ということは成り立つ; int3 & int4 -> hypothesis;
$facts$ = fact1: あの分散ガーベッジコレクションは自己増殖であり加えて妻せる fact2: その請求債権は誤解され易い fact3: もしなにがしかのものは千手観音立像であるとすると流行り始める fact4: 「あの分散ガーベッジコレクションは後ろめたい」ということは成り立つ fact5: 「あの三世代世帯は誤解され易い」ということは確かである fact6: あの分散ガーベッジコレクションは起き易いしその上スピン角運動量だ fact7: 「仮にあの分散ガーベッジコレクションがスピン角運動量であるとするとあの分散ガーベッジコレクションは手厚い」ということは成り立つ fact8: もし「なにがしかのものはスピン角運動量である」ということは本当であるとするとそれは極まり悪い fact9: あの人事部門はスピン角運動量だ fact10: あの分散ガーベッジコレクションは拝受する fact11: もしもとある物が極まり悪いとすると誤解され易い fact12: この多面性はスピン角運動量である fact13: あの開は極まり悪い ; $hypothesis$ = あの分散ガーベッジコレクションは誤解され易い ; $proof$ = 
fact6 -> int1: あの分散ガーベッジコレクションはスピン角運動量である; fact8 -> int2: もしあの分散ガーベッジコレクションがスピン角運動量なら極まり悪い; int1 & int2 -> int3: あの分散ガーベッジコレクションは極まり悪い; fact11 -> int4: 仮にあの分散ガーベッジコレクションは極まり悪いとすると「誤解され易い」ということは成り立つ; int3 & int4 -> hypothesis; __PROVED__
事実1: あの分散ガーベッジコレクションは自己増殖であり加えて妻せる
事実2: その請求債権は誤解され易い
事実3: もしなにがしかのものは千手観音立像であるとすると流行り始める
事実4: 「あの分散ガーベッジコレクションは後ろめたい」ということは成り立つ
事実5: 「あの三世代世帯は誤解され易い」ということは確かである
事実6: あの分散ガーベッジコレクションは起き易いしその上スピン角運動量だ
事実7: 「仮にあの分散ガーベッジコレクションがスピン角運動量であるとするとあの分散ガーベッジコレクションは手厚い」ということは成り立つ
事実8: もし「なにがしかのものはスピン角運動量である」ということは本当であるとするとそれは極まり悪い
事実9: あの人事部門はスピン角運動量だ
事実10: あの分散ガーベッジコレクションは拝受する
事実11: もしもとある物が極まり悪いとすると誤解され易い
事実12: この多面性はスピン角運動量である
事実13: あの開は極まり悪い

仮説: あの分散ガーベッジコレクションは誤解され易い
1. 事実6から、推論1: "あの分散ガーベッジコレクションはスピン角運動量である"が導かれる
2. 事実8から、推論2: "もしあの分散ガーベッジコレクションがスピン角運動量なら極まり悪い"が導かれる
3. 推論1と推論2から、推論3: "あの分散ガーベッジコレクションは極まり悪い"が導かれる
4. 事実11から、推論4: "仮にあの分散ガーベッジコレクションは極まり悪いとすると「誤解され易い」ということは成り立つ"が導かれる
5. 推論3と推論4から、仮説が導かれる

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