その保健婦は撫で上げない
fact1: なにかは撫で上げればそれは示唆する fact2: この偏導関数は逆上せ上がるしかつ事前規制である fact3: もしこの偏導関数は事前規制であるとすればそれはエネルギー補給でない fact4: その保健婦は思わしくてそれに示唆する fact5: もしその二月初めは示唆すれば「この偏導関数は思わしいということはないがしかし税・社会保障負担である」ということは成り立たない fact6: 仮に「とある物は税・社会保障負担であるかあるいはエネルギー補給でないか両方ともである」ということは正しくないとしたら思わしくない fact7: もし仮に「この偏導関数は撫で上げるかもしくは示唆しない」ということは成り立たないとするとその保健婦は撫で上げる fact8: 事前規制は税・社会保障負担だけどエネルギー補給でない fact9: 「その保健婦は逆上せ上がる」ということは嘘でない fact10: もしもなんらかのものは思わしいとすると「それは税・社会保障負担でない」ということは真実だ fact11: もし仮にその保健婦が思わしいし撫で上げるとすればあの偏導関数は税・社会保障負担でない fact12: もしその保健婦が逆上せ上がるし事前規制ならこの偏導関数は思わしくない fact13: 「この偏導関数は逆上せ上がる」ということは誤りであるということはない
fact4 -> int1: その保健婦は思わしい; void -> assump1: 以下のように仮定する。その保健婦は撫で上げる; int1 & assump1 -> int2: その保健婦は思わしいしさらにそれは撫で上げる; int2 & fact11 -> int3: この偏導関数は税・社会保障負担だということはない; fact8 -> int4: 仮にこの偏導関数が事前規制ならそれは税・社会保障負担だ一方でエネルギー補給でない; fact2 -> int5: この偏導関数は事前規制である; int4 & int5 -> int6: この偏導関数は税・社会保障負担である一方でエネルギー補給でない; int6 -> int7: 「この偏導関数は税・社会保障負担である」ということは誤りだということはない; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
その保健婦は撫で上げる
fact14 -> int9: 仮に「「この偏導関数は税・社会保障負担であるかまたはエネルギー補給でないかまたは両方である」ということは成り立たない」ということは確かであるなら思わしいということはない;
$facts$ = fact1: なにかは撫で上げればそれは示唆する fact2: この偏導関数は逆上せ上がるしかつ事前規制である fact3: もしこの偏導関数は事前規制であるとすればそれはエネルギー補給でない fact4: その保健婦は思わしくてそれに示唆する fact5: もしその二月初めは示唆すれば「この偏導関数は思わしいということはないがしかし税・社会保障負担である」ということは成り立たない fact6: 仮に「とある物は税・社会保障負担であるかあるいはエネルギー補給でないか両方ともである」ということは正しくないとしたら思わしくない fact7: もし仮に「この偏導関数は撫で上げるかもしくは示唆しない」ということは成り立たないとするとその保健婦は撫で上げる fact8: 事前規制は税・社会保障負担だけどエネルギー補給でない fact9: 「その保健婦は逆上せ上がる」ということは嘘でない fact10: もしもなんらかのものは思わしいとすると「それは税・社会保障負担でない」ということは真実だ fact11: もし仮にその保健婦が思わしいし撫で上げるとすればあの偏導関数は税・社会保障負担でない fact12: もしその保健婦が逆上せ上がるし事前規制ならこの偏導関数は思わしくない fact13: 「この偏導関数は逆上せ上がる」ということは誤りであるということはない ; $hypothesis$ = その保健婦は撫で上げない ; $proof$ = 
fact4 -> int1: その保健婦は思わしい; void -> assump1: 以下のように仮定する。その保健婦は撫で上げる; int1 & assump1 -> int2: その保健婦は思わしいしさらにそれは撫で上げる; int2 & fact11 -> int3: この偏導関数は税・社会保障負担だということはない; fact8 -> int4: 仮にこの偏導関数が事前規制ならそれは税・社会保障負担だ一方でエネルギー補給でない; fact2 -> int5: この偏導関数は事前規制である; int4 & int5 -> int6: この偏導関数は税・社会保障負担である一方でエネルギー補給でない; int6 -> int7: 「この偏導関数は税・社会保障負担である」ということは誤りだということはない; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: なにかは撫で上げればそれは示唆する
事実2: この偏導関数は逆上せ上がるしかつ事前規制である
事実3: もしこの偏導関数は事前規制であるとすればそれはエネルギー補給でない
事実4: その保健婦は思わしくてそれに示唆する
事実5: もしその二月初めは示唆すれば「この偏導関数は思わしいということはないがしかし税・社会保障負担である」ということは成り立たない
事実6: 仮に「とある物は税・社会保障負担であるかあるいはエネルギー補給でないか両方ともである」ということは正しくないとしたら思わしくない
事実7: もし仮に「この偏導関数は撫で上げるかもしくは示唆しない」ということは成り立たないとするとその保健婦は撫で上げる
事実8: 事前規制は税・社会保障負担だけどエネルギー補給でない
事実9: 「その保健婦は逆上せ上がる」ということは嘘でない
事実10: もしもなんらかのものは思わしいとすると「それは税・社会保障負担でない」ということは真実だ
事実11: もし仮にその保健婦が思わしいし撫で上げるとすればあの偏導関数は税・社会保障負担でない
事実12: もしその保健婦が逆上せ上がるし事前規制ならこの偏導関数は思わしくない
事実13: 「この偏導関数は逆上せ上がる」ということは誤りであるということはない

仮説: その保健婦は撫で上げない
1. 事実4から、推論1: "その保健婦は思わしい"が導かれる
2. 仮定1: 以下のように仮定する。その保健婦は撫で上げる
3. 推論1と仮定1から、推論2: "その保健婦は思わしいしさらにそれは撫で上げる"が導かれる
4. 推論2と事実11から、推論3: "この偏導関数は税・社会保障負担だということはない"が導かれる
5. 事実8から、推論4: "仮にこの偏導関数が事前規制ならそれは税・社会保障負担だ一方でエネルギー補給でない"が導かれる
6. 事実2から、推論5: "この偏導関数は事前規制である"が導かれる
7. 推論4と推論5から、推論6: "この偏導関数は税・社会保障負担である一方でエネルギー補給でない"が導かれる
8. 推論6から、推論7: "「この偏導関数は税・社会保障負担である」ということは誤りだということはない"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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