「仮に添い寝するとすると真ん丸くないか押し上げる」ものはある
fact1: 仮に「この青馬は押し上げるけれど東京っ子でない」ということは成り立たないとするとこの製品選びは押し上げない fact2: もし仮にこの製品選びが添い寝するとすればそれは折する fact3: もし「この製品選びは折する」ということは本当ならそれは真ん丸くないかまたはそれは押し上げるかあるいは両方ともだ fact4: 「添い寝するなら真ん丸いか押し上げる」物はある fact5: この青馬は潤み切らない fact6: 仮に何かは押し上げるということはないならば「折するし加えてそれは真ん丸くない」ということは本当であるということはない fact7: もしも何らかのものは潤み切らないとすれば「それは押し上げるけれど東京っ子でない」ということは成り立たない
void -> assump1: 以下のように仮定する。この製品選びは添い寝する; fact2 & assump1 -> int1: この製品選びは折する; int1 & fact3 -> int2: この製品選びは真ん丸くないかもしくは押し上げるかもしくは両方ともだ; [assump1] & int2 -> int3: もしもこの製品選びが添い寝するとすると真ん丸くないかあるいは押し上げるかあるいは両方だ; int3 -> hypothesis;
この製品選びは罵る
fact11 -> int4: この製品選びは押し上げないとすると「折するけど真ん丸くない」ということは確かでない; fact9 -> int5: もしもこの青馬は潤み切らないとすると「押し上げるけれど東京っ子でない」ということは偽である; int5 & fact8 -> int6: 「「この青馬は押し上げるがしかし東京っ子でない」ということは事実と異ならない」ということは誤っている; fact10 & int6 -> int7: この製品選びは押し上げない; int4 & int7 -> int8: 「この製品選びは折するけど真ん丸くない」ということは本当でない;
$facts$ = fact1: 仮に「この青馬は押し上げるけれど東京っ子でない」ということは成り立たないとするとこの製品選びは押し上げない fact2: もし仮にこの製品選びが添い寝するとすればそれは折する fact3: もし「この製品選びは折する」ということは本当ならそれは真ん丸くないかまたはそれは押し上げるかあるいは両方ともだ fact4: 「添い寝するなら真ん丸いか押し上げる」物はある fact5: この青馬は潤み切らない fact6: 仮に何かは押し上げるということはないならば「折するし加えてそれは真ん丸くない」ということは本当であるということはない fact7: もしも何らかのものは潤み切らないとすれば「それは押し上げるけれど東京っ子でない」ということは成り立たない ; $hypothesis$ = 「仮に添い寝するとすると真ん丸くないか押し上げる」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。この製品選びは添い寝する; fact2 & assump1 -> int1: この製品選びは折する; int1 & fact3 -> int2: この製品選びは真ん丸くないかもしくは押し上げるかもしくは両方ともだ; [assump1] & int2 -> int3: もしもこの製品選びが添い寝するとすると真ん丸くないかあるいは押し上げるかあるいは両方だ; int3 -> hypothesis; __PROVED__
事実1: 仮に「この青馬は押し上げるけれど東京っ子でない」ということは成り立たないとするとこの製品選びは押し上げない
事実2: もし仮にこの製品選びが添い寝するとすればそれは折する
事実3: もし「この製品選びは折する」ということは本当ならそれは真ん丸くないかまたはそれは押し上げるかあるいは両方ともだ
事実4: 「添い寝するなら真ん丸いか押し上げる」物はある
事実5: この青馬は潤み切らない
事実6: 仮に何かは押し上げるということはないならば「折するし加えてそれは真ん丸くない」ということは本当であるということはない
事実7: もしも何らかのものは潤み切らないとすれば「それは押し上げるけれど東京っ子でない」ということは成り立たない

仮説: 「仮に添い寝するとすると真ん丸くないか押し上げる」ものはある
1. 仮定1: 以下のように仮定する。この製品選びは添い寝する
2. 事実2と仮定1から、推論1: "この製品選びは折する"が導かれる
3. 推論1と事実3から、推論2: "この製品選びは真ん丸くないかもしくは押し上げるかもしくは両方ともだ"が導かれる
4. [仮定1]と推論2から、推論3: "もしもこの製品選びが添い寝するとすると真ん丸くないかあるいは押し上げるかあるいは両方だ"が導かれる
5. 推論3から、仮説が導かれる

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