「仮に「可愛い」ということは本当だとすると分かり易い」物はある
fact1: 「その自分は可愛い」ということは成り立つ fact2: そのインターナショナルは休み為さらないけど生かし切る fact3: この花弁は二月初めでない fact4: この花弁は享受出来る fact5: もしも「なにかは技術的合理化でないがしかし祇園祭だ」ということは本当ならそれは女性らしい fact6: 「もし「萎れる」ということは正しいとすると技術的合理化な」物はある fact7: この花弁は乗り切れない fact8: もしもとある物が乗り切れないがしかしそれが可愛いとするとそれは分かり易い fact9: その自分が満腹でないとすればホーリーであるし可愛い fact10: もし仮になんらかの物は試合中だということはないけれど放り込むとすれば賃貸人だ fact11: 仮にこの花弁が見出だし得るということはなくて加えてそれが分かり易くないならばその自分は実地でない fact12: このオードブルは乗り切れない fact13: 仮にこの花弁が分かり易いとしたらそれは強し fact14: もしもこの花弁が享受出来るとしたらそれは見出だし得るということはないし分かり易くない
void -> assump1: 以下のように仮定する。「この花弁は可愛い」ということは本当である; fact7 & assump1 -> int1: この花弁は乗り切れないけれど可愛い; fact8 -> int2: もしこの花弁は乗り切れないが可愛いなら分かり易い; int1 & int2 -> int3: この花弁は分かり易い; [assump1] & int3 -> int4: もしこの花弁が可愛いとすれば分かり易い; int4 -> hypothesis;
その自分は実地でないけど乗り切れる
fact17 & fact16 -> int5: 「この花弁は見出だし得ないし加えて分かり易くない」ということは確かである; fact18 & int5 -> int6: その自分は実地でない;
$facts$ = fact1: 「その自分は可愛い」ということは成り立つ fact2: そのインターナショナルは休み為さらないけど生かし切る fact3: この花弁は二月初めでない fact4: この花弁は享受出来る fact5: もしも「なにかは技術的合理化でないがしかし祇園祭だ」ということは本当ならそれは女性らしい fact6: 「もし「萎れる」ということは正しいとすると技術的合理化な」物はある fact7: この花弁は乗り切れない fact8: もしもとある物が乗り切れないがしかしそれが可愛いとするとそれは分かり易い fact9: その自分が満腹でないとすればホーリーであるし可愛い fact10: もし仮になんらかの物は試合中だということはないけれど放り込むとすれば賃貸人だ fact11: 仮にこの花弁が見出だし得るということはなくて加えてそれが分かり易くないならばその自分は実地でない fact12: このオードブルは乗り切れない fact13: 仮にこの花弁が分かり易いとしたらそれは強し fact14: もしもこの花弁が享受出来るとしたらそれは見出だし得るということはないし分かり易くない ; $hypothesis$ = 「仮に「可愛い」ということは本当だとすると分かり易い」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。「この花弁は可愛い」ということは本当である; fact7 & assump1 -> int1: この花弁は乗り切れないけれど可愛い; fact8 -> int2: もしこの花弁は乗り切れないが可愛いなら分かり易い; int1 & int2 -> int3: この花弁は分かり易い; [assump1] & int3 -> int4: もしこの花弁が可愛いとすれば分かり易い; int4 -> hypothesis; __PROVED__
事実1: 「その自分は可愛い」ということは成り立つ
事実2: そのインターナショナルは休み為さらないけど生かし切る
事実3: この花弁は二月初めでない
事実4: この花弁は享受出来る
事実5: もしも「なにかは技術的合理化でないがしかし祇園祭だ」ということは本当ならそれは女性らしい
事実6: 「もし「萎れる」ということは正しいとすると技術的合理化な」物はある
事実7: この花弁は乗り切れない
事実8: もしもとある物が乗り切れないがしかしそれが可愛いとするとそれは分かり易い
事実9: その自分が満腹でないとすればホーリーであるし可愛い
事実10: もし仮になんらかの物は試合中だということはないけれど放り込むとすれば賃貸人だ
事実11: 仮にこの花弁が見出だし得るということはなくて加えてそれが分かり易くないならばその自分は実地でない
事実12: このオードブルは乗り切れない
事実13: 仮にこの花弁が分かり易いとしたらそれは強し
事実14: もしもこの花弁が享受出来るとしたらそれは見出だし得るということはないし分かり易くない

仮説: 「仮に「可愛い」ということは本当だとすると分かり易い」物はある
1. 仮定1: 以下のように仮定する。「この花弁は可愛い」ということは本当である
2. 事実7と仮定1から、推論1: "この花弁は乗り切れないけれど可愛い"が導かれる
3. 事実8から、推論2: "もしこの花弁は乗り切れないが可愛いなら分かり易い"が導かれる
4. 推論1と推論2から、推論3: "この花弁は分かり易い"が導かれる
5. [仮定1]と推論3から、推論4: "もしこの花弁が可愛いとすれば分かり易い"が導かれる
6. 推論4から、仮説が導かれる

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