もしもそのホームデンテイストが探照灯だとしたらあの大物は真っ黒い
fact1: なにがしかの物が遜色無いとしたらそれは真っ黒い fact2: もしこのフィボナッチ数列が真っ黒いとしたらその社債管理者は探照灯だ fact3: この接見時間は探照灯である fact4: もし仮にあの大物が男らしいとすればそのホームデンテイストは真っ黒い fact5: もしそのホームデンテイストが遜色無いならあの大物は真っ黒い fact6: 仮にそのホームデンテイストが真っ黒いならばあの大物は探照灯だ fact7: もしそのホームデンテイストが遜色無いとするとあの大物は探照灯だ fact8: もし「あの大物は真っ黒い」ということは本当だとすればあのホームデンテイストは遜色無い fact9: もしもそのホームデンテイストが探照灯であるならあの大物は遜色無い fact10: もしもそのホームデンテイストが真っ黒いとすればこの転業は遜色無い fact11: 「そのホームデンテイストが真っ黒いとしたらあの大物は遜色無い」ということは真実である fact12: この賛嘆供養は遜色無い fact13: あの大物が嗜虐性であるならばあのホームデンテイストは真っ黒い fact14: もし仮に「そのホームデンテイストは使用ＩＴＥＭＳだ」ということは正しいならあの大物は探照灯である fact15: 仮に何かは売り上げ高原価率だとすると抜き取れる fact16: この飼養は探照灯だ fact17: あの大物が探照灯だとしたらそのホームデンテイストは遜色無い fact18: あの十二種類は真っ黒い fact19: 「仮にあの大物は探照灯であるなら「そのホームデンテイストは真っ黒い」ということは正しい」ということは真実だ
void -> assump1: 以下のように仮定する。そのホームデンテイストは探照灯だ; fact9 & assump1 -> int1: あの大物は遜色無い; fact1 -> int2: もし仮にあの大物が遜色無いとすると真っ黒い; int1 & int2 -> int3: あの大物は真っ黒い; [assump1] & int3 -> hypothesis;
$facts$ = fact1: なにがしかの物が遜色無いとしたらそれは真っ黒い fact2: もしこのフィボナッチ数列が真っ黒いとしたらその社債管理者は探照灯だ fact3: この接見時間は探照灯である fact4: もし仮にあの大物が男らしいとすればそのホームデンテイストは真っ黒い fact5: もしそのホームデンテイストが遜色無いならあの大物は真っ黒い fact6: 仮にそのホームデンテイストが真っ黒いならばあの大物は探照灯だ fact7: もしそのホームデンテイストが遜色無いとするとあの大物は探照灯だ fact8: もし「あの大物は真っ黒い」ということは本当だとすればあのホームデンテイストは遜色無い fact9: もしもそのホームデンテイストが探照灯であるならあの大物は遜色無い fact10: もしもそのホームデンテイストが真っ黒いとすればこの転業は遜色無い fact11: 「そのホームデンテイストが真っ黒いとしたらあの大物は遜色無い」ということは真実である fact12: この賛嘆供養は遜色無い fact13: あの大物が嗜虐性であるならばあのホームデンテイストは真っ黒い fact14: もし仮に「そのホームデンテイストは使用ＩＴＥＭＳだ」ということは正しいならあの大物は探照灯である fact15: 仮に何かは売り上げ高原価率だとすると抜き取れる fact16: この飼養は探照灯だ fact17: あの大物が探照灯だとしたらそのホームデンテイストは遜色無い fact18: あの十二種類は真っ黒い fact19: 「仮にあの大物は探照灯であるなら「そのホームデンテイストは真っ黒い」ということは正しい」ということは真実だ ; $hypothesis$ = もしもそのホームデンテイストが探照灯だとしたらあの大物は真っ黒い ; $proof$ = 
void -> assump1: 以下のように仮定する。そのホームデンテイストは探照灯だ; fact9 & assump1 -> int1: あの大物は遜色無い; fact1 -> int2: もし仮にあの大物が遜色無いとすると真っ黒い; int1 & int2 -> int3: あの大物は真っ黒い; [assump1] & int3 -> hypothesis; __PROVED__
事実1: なにがしかの物が遜色無いとしたらそれは真っ黒い
事実2: もしこのフィボナッチ数列が真っ黒いとしたらその社債管理者は探照灯だ
事実3: この接見時間は探照灯である
事実4: もし仮にあの大物が男らしいとすればそのホームデンテイストは真っ黒い
事実5: もしそのホームデンテイストが遜色無いならあの大物は真っ黒い
事実6: 仮にそのホームデンテイストが真っ黒いならばあの大物は探照灯だ
事実7: もしそのホームデンテイストが遜色無いとするとあの大物は探照灯だ
事実8: もし「あの大物は真っ黒い」ということは本当だとすればあのホームデンテイストは遜色無い
事実9: もしもそのホームデンテイストが探照灯であるならあの大物は遜色無い
事実10: もしもそのホームデンテイストが真っ黒いとすればこの転業は遜色無い
事実11: 「そのホームデンテイストが真っ黒いとしたらあの大物は遜色無い」ということは真実である
事実12: この賛嘆供養は遜色無い
事実13: あの大物が嗜虐性であるならばあのホームデンテイストは真っ黒い
事実14: もし仮に「そのホームデンテイストは使用ＩＴＥＭＳだ」ということは正しいならあの大物は探照灯である
事実15: 仮に何かは売り上げ高原価率だとすると抜き取れる
事実16: この飼養は探照灯だ
事実17: あの大物が探照灯だとしたらそのホームデンテイストは遜色無い
事実18: あの十二種類は真っ黒い
事実19: 「仮にあの大物は探照灯であるなら「そのホームデンテイストは真っ黒い」ということは正しい」ということは真実だ

仮説: もしもそのホームデンテイストが探照灯だとしたらあの大物は真っ黒い
1. 仮定1: 以下のように仮定する。そのホームデンテイストは探照灯だ
2. 事実9と仮定1から、推論1: "あの大物は遜色無い"が導かれる
3. 事実1から、推論2: "もし仮にあの大物が遜色無いとすると真っ黒い"が導かれる
4. 推論1と推論2から、推論3: "あの大物は真っ黒い"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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