そのへぼはいとおしい
fact1: そのへぼは切手代でなくてそれにそれは絹漉し豆腐でない fact2: うら若しない物は天使らしくないしその上冗談ぽくない fact3: もしもそのへぼは新規作成しないけどきもいとするとそれは強し fact4: このコルチゾールは冗談ぽくない fact5: もし仮にそのへぼが溶剤型でないがしかし壊れ易いとすればそれは特殊化する fact6: あの二百年前は顕在化し易くて加えて天使らしい fact7: 顕在化し易くないものは生き切らないしさらに冗談ぽくない fact8: もし何かは溶剤型だということはないとすると生き切らなくてかつ冗談ぽくない fact9: そのへぼは生き切らない fact10: もしもこの四以上が冗談ぽくないがそれが移し替えるとしたらそれは微笑ましい fact11: その最大判昭は再現出来るしその上古代以来である fact12: あの二百年前は再現出来ない一方でうら若し fact13: 天使らしいし君らしい物は溶剤型でない fact14: 「あの二百年前は薄暗い」ということは事実だ fact15: そのウィンドウサイズはうら若し fact16: もしも「あの二百年前は再現出来ないけどそれはうら若し」ということは成り立つとすれば君らしい fact17: 仮にあの二百年前が生き切らないし更にそれが冗談ぽくないとするとそのへぼはいとおしい fact18: あのニヤレストポイントＹは生き切るしまた姿勢等だ
fact6 -> int1: あの二百年前は天使らしい; fact16 & fact12 -> int2: 「あの二百年前は君らしい」ということは真実だ; int1 & int2 -> int3: あの二百年前は天使らしいしおまけにそれは君らしい; fact13 -> int4: もしもあの二百年前が天使らしいしまたそれが君らしいならそれは溶剤型であるということはない; int3 & int4 -> int5: あの二百年前は溶剤型であるということはない; fact8 -> int6: もしもあの二百年前は溶剤型だということはないとすれば「生き切らないし冗談ぽくない」ということは事実である; int5 & int6 -> int7: あの二百年前は生き切らなくてかつ冗談ぽくない; int7 & fact17 -> hypothesis;
$facts$ = fact1: そのへぼは切手代でなくてそれにそれは絹漉し豆腐でない fact2: うら若しない物は天使らしくないしその上冗談ぽくない fact3: もしもそのへぼは新規作成しないけどきもいとするとそれは強し fact4: このコルチゾールは冗談ぽくない fact5: もし仮にそのへぼが溶剤型でないがしかし壊れ易いとすればそれは特殊化する fact6: あの二百年前は顕在化し易くて加えて天使らしい fact7: 顕在化し易くないものは生き切らないしさらに冗談ぽくない fact8: もし何かは溶剤型だということはないとすると生き切らなくてかつ冗談ぽくない fact9: そのへぼは生き切らない fact10: もしもこの四以上が冗談ぽくないがそれが移し替えるとしたらそれは微笑ましい fact11: その最大判昭は再現出来るしその上古代以来である fact12: あの二百年前は再現出来ない一方でうら若し fact13: 天使らしいし君らしい物は溶剤型でない fact14: 「あの二百年前は薄暗い」ということは事実だ fact15: そのウィンドウサイズはうら若し fact16: もしも「あの二百年前は再現出来ないけどそれはうら若し」ということは成り立つとすれば君らしい fact17: 仮にあの二百年前が生き切らないし更にそれが冗談ぽくないとするとそのへぼはいとおしい fact18: あのニヤレストポイントＹは生き切るしまた姿勢等だ ; $hypothesis$ = そのへぼはいとおしい ; $proof$ = 
fact6 -> int1: あの二百年前は天使らしい; fact16 & fact12 -> int2: 「あの二百年前は君らしい」ということは真実だ; int1 & int2 -> int3: あの二百年前は天使らしいしおまけにそれは君らしい; fact13 -> int4: もしもあの二百年前が天使らしいしまたそれが君らしいならそれは溶剤型であるということはない; int3 & int4 -> int5: あの二百年前は溶剤型であるということはない; fact8 -> int6: もしもあの二百年前は溶剤型だということはないとすれば「生き切らないし冗談ぽくない」ということは事実である; int5 & int6 -> int7: あの二百年前は生き切らなくてかつ冗談ぽくない; int7 & fact17 -> hypothesis; __PROVED__
事実1: そのへぼは切手代でなくてそれにそれは絹漉し豆腐でない
事実2: うら若しない物は天使らしくないしその上冗談ぽくない
事実3: もしもそのへぼは新規作成しないけどきもいとするとそれは強し
事実4: このコルチゾールは冗談ぽくない
事実5: もし仮にそのへぼが溶剤型でないがしかし壊れ易いとすればそれは特殊化する
事実6: あの二百年前は顕在化し易くて加えて天使らしい
事実7: 顕在化し易くないものは生き切らないしさらに冗談ぽくない
事実8: もし何かは溶剤型だということはないとすると生き切らなくてかつ冗談ぽくない
事実9: そのへぼは生き切らない
事実10: もしもこの四以上が冗談ぽくないがそれが移し替えるとしたらそれは微笑ましい
事実11: その最大判昭は再現出来るしその上古代以来である
事実12: あの二百年前は再現出来ない一方でうら若し
事実13: 天使らしいし君らしい物は溶剤型でない
事実14: 「あの二百年前は薄暗い」ということは事実だ
事実15: そのウィンドウサイズはうら若し
事実16: もしも「あの二百年前は再現出来ないけどそれはうら若し」ということは成り立つとすれば君らしい
事実17: 仮にあの二百年前が生き切らないし更にそれが冗談ぽくないとするとそのへぼはいとおしい
事実18: あのニヤレストポイントＹは生き切るしまた姿勢等だ

仮説: そのへぼはいとおしい
1. 事実6から、推論1: "あの二百年前は天使らしい"が導かれる
2. 事実16と事実12から、推論2: "「あの二百年前は君らしい」ということは真実だ"が導かれる
3. 推論1と推論2から、推論3: "あの二百年前は天使らしいしおまけにそれは君らしい"が導かれる
4. 事実13から、推論4: "もしもあの二百年前が天使らしいしまたそれが君らしいならそれは溶剤型であるということはない"が導かれる
5. 推論3と推論4から、推論5: "あの二百年前は溶剤型であるということはない"が導かれる
6. 事実8から、推論6: "もしもあの二百年前は溶剤型だということはないとすれば「生き切らないし冗談ぽくない」ということは事実である"が導かれる
7. 推論5と推論6から、推論7: "あの二百年前は生き切らなくてかつ冗談ぽくない"が導かれる
8. 推論7と事実17から、仮説が導かれる

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