仮にその近代医療がカロリー表であるとしたらその歴史観はフェミ風味である
fact1: もし仮に「その歴史観はフェミ風味でない」ということは成り立つとしたら「あのギャグは収まり切るけれどそれは気付き難くない」ということは成り立たない fact2: 「あのギャグはカロリー表であるがしかし気付き難くない」ということは事実でない fact3: もしも「「「収まり切るし加えて気付き難くない」ということは本当である」ということは成り立たない」ものはあるとすれば「その近代医療はカロリー表であるということはない」ということは成り立つ fact4: 「収まり切るが気付き難くない」物はある fact5: もしもなにかは収まり切らないならばあの近代医療はカロリー表でない
void -> assump1: 以下のように仮定する。その歴史観はフェミ風味でない; fact1 & assump1 -> int1: 「あのギャグは収まり切るけれど気付き難くない」ということは成り立たない; int1 -> int2: 「「収まり切るし気付き難くない」ということは確かだということはない」物はある; int2 & fact3 -> int3: その近代医療はカロリー表でない; void -> assump2: 以下のように仮定する。その近代医療はカロリー表である; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その歴史観はフェミ風味だ; [assump2] & int5 -> hypothesis;
$facts$ = fact1: もし仮に「その歴史観はフェミ風味でない」ということは成り立つとしたら「あのギャグは収まり切るけれどそれは気付き難くない」ということは成り立たない fact2: 「あのギャグはカロリー表であるがしかし気付き難くない」ということは事実でない fact3: もしも「「「収まり切るし加えて気付き難くない」ということは本当である」ということは成り立たない」ものはあるとすれば「その近代医療はカロリー表であるということはない」ということは成り立つ fact4: 「収まり切るが気付き難くない」物はある fact5: もしもなにかは収まり切らないならばあの近代医療はカロリー表でない ; $hypothesis$ = 仮にその近代医療がカロリー表であるとしたらその歴史観はフェミ風味である ; $proof$ = 
void -> assump1: 以下のように仮定する。その歴史観はフェミ風味でない; fact1 & assump1 -> int1: 「あのギャグは収まり切るけれど気付き難くない」ということは成り立たない; int1 -> int2: 「「収まり切るし気付き難くない」ということは確かだということはない」物はある; int2 & fact3 -> int3: その近代医療はカロリー表でない; void -> assump2: 以下のように仮定する。その近代医療はカロリー表である; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その歴史観はフェミ風味だ; [assump2] & int5 -> hypothesis; __PROVED__
事実1: もし仮に「その歴史観はフェミ風味でない」ということは成り立つとしたら「あのギャグは収まり切るけれどそれは気付き難くない」ということは成り立たない
事実2: 「あのギャグはカロリー表であるがしかし気付き難くない」ということは事実でない
事実3: もしも「「「収まり切るし加えて気付き難くない」ということは本当である」ということは成り立たない」ものはあるとすれば「その近代医療はカロリー表であるということはない」ということは成り立つ
事実4: 「収まり切るが気付き難くない」物はある
事実5: もしもなにかは収まり切らないならばあの近代医療はカロリー表でない

仮説: 仮にその近代医療がカロリー表であるとしたらその歴史観はフェミ風味である
1. 仮定1: 以下のように仮定する。その歴史観はフェミ風味でない
2. 事実1と仮定1から、推論1: "「あのギャグは収まり切るけれど気付き難くない」ということは成り立たない"が導かれる
3. 推論1から、推論2: "「「収まり切るし気付き難くない」ということは確かだということはない」物はある"が導かれる
4. 推論2と事実3から、推論3: "その近代医療はカロリー表でない"が導かれる
5. 仮定2: 以下のように仮定する。その近代医療はカロリー表である
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "その歴史観はフェミ風味だ"が導かれる
8. [仮定2]と推論5から、仮説が導かれる

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