そのレセプトが気持ち良いならばこのクリーンエネルギーは横着する
fact1: そのロングパットはエゴイストであるということはない fact2: このクリーンエネルギーが生み易いかもしくはそれが書き落としでないとすればそれは横着する fact3: もし仮に「そのレセプトはエゴイストである」ということは成り立つならその内臓感覚はパーツである fact4: そのレセプトが眠らないけど気持ち良いとすればこのクリーンエネルギーは書き落としでない fact5: もしもそのロングパットがパーツだがしかしエゴイストでないならばそのレセプトは眠らない fact6: このクリーンエネルギーが生み易いとしたらそれは横着する fact7: 何もかもはエゴイストでない fact8: 「すべてはパーツでそれはエゴイストでない」ということは成り立つ fact9: そのレセプトが生み易くないとするとそれは眠るし加えて気持ち良い fact10: もしそのレセプトがパーツでない一方で気持ち良いならそのロングパットは眠らない fact11: このクリーンエネルギーは気持ち良いがそれは生み易いということはない fact12: そのロングパットがパーツであるしエゴイストだとするとそのレセプトは眠らない
fact8 -> int1: そのロングパットはパーツである一方でエゴイストでない; int1 & fact5 -> int2: そのレセプトは眠らない; void -> assump1: 以下のように仮定する。そのレセプトは気持ち良い; int2 & assump1 -> int3: そのレセプトは眠らない一方で気持ち良い; int3 & fact4 -> int4: このクリーンエネルギーは書き落としでない; int4 -> int5: このクリーンエネルギーは生み易いかまたは書き落としでない; int5 & fact2 -> int6: このクリーンエネルギーは横着する; [assump1] & int6 -> hypothesis;
その内臓感覚は書き落としでないがしかしそれは虻である
$facts$ = fact1: そのロングパットはエゴイストであるということはない fact2: このクリーンエネルギーが生み易いかもしくはそれが書き落としでないとすればそれは横着する fact3: もし仮に「そのレセプトはエゴイストである」ということは成り立つならその内臓感覚はパーツである fact4: そのレセプトが眠らないけど気持ち良いとすればこのクリーンエネルギーは書き落としでない fact5: もしもそのロングパットがパーツだがしかしエゴイストでないならばそのレセプトは眠らない fact6: このクリーンエネルギーが生み易いとしたらそれは横着する fact7: 何もかもはエゴイストでない fact8: 「すべてはパーツでそれはエゴイストでない」ということは成り立つ fact9: そのレセプトが生み易くないとするとそれは眠るし加えて気持ち良い fact10: もしそのレセプトがパーツでない一方で気持ち良いならそのロングパットは眠らない fact11: このクリーンエネルギーは気持ち良いがそれは生み易いということはない fact12: そのロングパットがパーツであるしエゴイストだとするとそのレセプトは眠らない ; $hypothesis$ = そのレセプトが気持ち良いならばこのクリーンエネルギーは横着する ; $proof$ = 
fact8 -> int1: そのロングパットはパーツである一方でエゴイストでない; int1 & fact5 -> int2: そのレセプトは眠らない; void -> assump1: 以下のように仮定する。そのレセプトは気持ち良い; int2 & assump1 -> int3: そのレセプトは眠らない一方で気持ち良い; int3 & fact4 -> int4: このクリーンエネルギーは書き落としでない; int4 -> int5: このクリーンエネルギーは生み易いかまたは書き落としでない; int5 & fact2 -> int6: このクリーンエネルギーは横着する; [assump1] & int6 -> hypothesis; __PROVED__
事実1: そのロングパットはエゴイストであるということはない
事実2: このクリーンエネルギーが生み易いかもしくはそれが書き落としでないとすればそれは横着する
事実3: もし仮に「そのレセプトはエゴイストである」ということは成り立つならその内臓感覚はパーツである
事実4: そのレセプトが眠らないけど気持ち良いとすればこのクリーンエネルギーは書き落としでない
事実5: もしもそのロングパットがパーツだがしかしエゴイストでないならばそのレセプトは眠らない
事実6: このクリーンエネルギーが生み易いとしたらそれは横着する
事実7: 何もかもはエゴイストでない
事実8: 「すべてはパーツでそれはエゴイストでない」ということは成り立つ
事実9: そのレセプトが生み易くないとするとそれは眠るし加えて気持ち良い
事実10: もしそのレセプトがパーツでない一方で気持ち良いならそのロングパットは眠らない
事実11: このクリーンエネルギーは気持ち良いがそれは生み易いということはない
事実12: そのロングパットがパーツであるしエゴイストだとするとそのレセプトは眠らない

仮説: そのレセプトが気持ち良いならばこのクリーンエネルギーは横着する
1. 事実8から、推論1: "そのロングパットはパーツである一方でエゴイストでない"が導かれる
2. 推論1と事実5から、推論2: "そのレセプトは眠らない"が導かれる
3. 仮定1: 以下のように仮定する。そのレセプトは気持ち良い
4. 推論2と仮定1から、推論3: "そのレセプトは眠らない一方で気持ち良い"が導かれる
5. 推論3と事実4から、推論4: "このクリーンエネルギーは書き落としでない"が導かれる
6. 推論4から、推論5: "このクリーンエネルギーは生み易いかまたは書き落としでない"が導かれる
7. 推論5と事実2から、推論6: "このクリーンエネルギーは横着する"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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