もしあの熱中が高しとするとこのレセプションは寝っ転がる
fact1: 仮になにかは潤み切るとすると寝っ転がる fact2: もしもあの熱中は高しとすれば「あの青猫は払拭する一方で指示子でない」ということは成り立たない fact3: もしあの熱中が潤み切らないとするとその失敬は寝っ転がるし加えて高し fact4: もし仮に「あの青猫は払拭するけれど指示子でない」ということは事実と異なるとするとこのレセプションは潤み切る fact5: もし仮に「あの青猫は寝っ転がる」ということは成り立つなら払拭する
void -> assump1: 以下のように仮定する。「あの熱中は高し」ということは間違いでない; fact2 & assump1 -> int1: 「あの青猫は払拭するがしかし指示子でない」ということは成り立たない; int1 & fact4 -> int2: このレセプションは潤み切る; fact1 -> int3: もしもこのレセプションが潤み切るとしたらそれは寝っ転がる; int2 & int3 -> int4: このレセプションは寝っ転がる; [assump1] & int4 -> hypothesis;
その失敬は寝っ転がる
$facts$ = fact1: 仮になにかは潤み切るとすると寝っ転がる fact2: もしもあの熱中は高しとすれば「あの青猫は払拭する一方で指示子でない」ということは成り立たない fact3: もしあの熱中が潤み切らないとするとその失敬は寝っ転がるし加えて高し fact4: もし仮に「あの青猫は払拭するけれど指示子でない」ということは事実と異なるとするとこのレセプションは潤み切る fact5: もし仮に「あの青猫は寝っ転がる」ということは成り立つなら払拭する ; $hypothesis$ = もしあの熱中が高しとするとこのレセプションは寝っ転がる ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの熱中は高し」ということは間違いでない; fact2 & assump1 -> int1: 「あの青猫は払拭するがしかし指示子でない」ということは成り立たない; int1 & fact4 -> int2: このレセプションは潤み切る; fact1 -> int3: もしもこのレセプションが潤み切るとしたらそれは寝っ転がる; int2 & int3 -> int4: このレセプションは寝っ転がる; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 仮になにかは潤み切るとすると寝っ転がる
事実2: もしもあの熱中は高しとすれば「あの青猫は払拭する一方で指示子でない」ということは成り立たない
事実3: もしあの熱中が潤み切らないとするとその失敬は寝っ転がるし加えて高し
事実4: もし仮に「あの青猫は払拭するけれど指示子でない」ということは事実と異なるとするとこのレセプションは潤み切る
事実5: もし仮に「あの青猫は寝っ転がる」ということは成り立つなら払拭する

仮説: もしあの熱中が高しとするとこのレセプションは寝っ転がる
1. 仮定1: 以下のように仮定する。「あの熱中は高し」ということは間違いでない
2. 事実2と仮定1から、推論1: "「あの青猫は払拭するがしかし指示子でない」ということは成り立たない"が導かれる
3. 推論1と事実4から、推論2: "このレセプションは潤み切る"が導かれる
4. 事実1から、推論3: "もしもこのレセプションが潤み切るとしたらそれは寝っ転がる"が導かれる
5. 推論2と推論3から、推論4: "このレセプションは寝っ転がる"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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