もし仮にこの弗素樹脂が二月革命でないならこの募集は寒ーくないけれどそれは形状だ
fact1: もし寒ーいということはないものはあるとすると「この募集は四散するしかつ寒ーい」ということは間違っている fact2: この弗素樹脂が二月革命であるということはないとしたらこの募集はマニュアル化するけれど巻名でない fact3: もし仮に「とある物は四散するしそれは寒ーい」ということは成り立たないとすると「それは寒ーくない」ということは真実である fact4: 「なんらかのものはマニュアル化するけれど巻名であるということはない」ということは成り立つとすれば形状である fact5: 「寒ーくない」物はある
void -> assump1: 以下のように仮定する。この弗素樹脂は二月革命でない; fact2 & assump1 -> int1: この募集はマニュアル化するがしかし巻名でない; fact4 -> int2: もし仮にこの募集がマニュアル化するけどそれは巻名でないとするとそれは形状だ; int1 & int2 -> int3: この募集は形状である; fact5 & fact1 -> int4: 「この募集は四散するしそれは寒ーい」ということは誤っている; fact3 -> int5: もしも「「この募集は四散するしまた寒ーい」ということは誤りである」ということは成り立つとしたら寒ーいということはない; int4 & int5 -> int6: この募集は寒ーくない; int3 & int6 -> int7: この募集は寒ーくない一方でそれは形状だ; [assump1] & int7 -> hypothesis;
$facts$ = fact1: もし寒ーいということはないものはあるとすると「この募集は四散するしかつ寒ーい」ということは間違っている fact2: この弗素樹脂が二月革命であるということはないとしたらこの募集はマニュアル化するけれど巻名でない fact3: もし仮に「とある物は四散するしそれは寒ーい」ということは成り立たないとすると「それは寒ーくない」ということは真実である fact4: 「なんらかのものはマニュアル化するけれど巻名であるということはない」ということは成り立つとすれば形状である fact5: 「寒ーくない」物はある ; $hypothesis$ = もし仮にこの弗素樹脂が二月革命でないならこの募集は寒ーくないけれどそれは形状だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この弗素樹脂は二月革命でない; fact2 & assump1 -> int1: この募集はマニュアル化するがしかし巻名でない; fact4 -> int2: もし仮にこの募集がマニュアル化するけどそれは巻名でないとするとそれは形状だ; int1 & int2 -> int3: この募集は形状である; fact5 & fact1 -> int4: 「この募集は四散するしそれは寒ーい」ということは誤っている; fact3 -> int5: もしも「「この募集は四散するしまた寒ーい」ということは誤りである」ということは成り立つとしたら寒ーいということはない; int4 & int5 -> int6: この募集は寒ーくない; int3 & int6 -> int7: この募集は寒ーくない一方でそれは形状だ; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もし寒ーいということはないものはあるとすると「この募集は四散するしかつ寒ーい」ということは間違っている
事実2: この弗素樹脂が二月革命であるということはないとしたらこの募集はマニュアル化するけれど巻名でない
事実3: もし仮に「とある物は四散するしそれは寒ーい」ということは成り立たないとすると「それは寒ーくない」ということは真実である
事実4: 「なんらかのものはマニュアル化するけれど巻名であるということはない」ということは成り立つとすれば形状である
事実5: 「寒ーくない」物はある

仮説: もし仮にこの弗素樹脂が二月革命でないならこの募集は寒ーくないけれどそれは形状だ
1. 仮定1: 以下のように仮定する。この弗素樹脂は二月革命でない
2. 事実2と仮定1から、推論1: "この募集はマニュアル化するがしかし巻名でない"が導かれる
3. 事実4から、推論2: "もし仮にこの募集がマニュアル化するけどそれは巻名でないとするとそれは形状だ"が導かれる
4. 推論1と推論2から、推論3: "この募集は形状である"が導かれる
5. 事実5と事実1から、推論4: "「この募集は四散するしそれは寒ーい」ということは誤っている"が導かれる
6. 事実3から、推論5: "もしも「「この募集は四散するしまた寒ーい」ということは誤りである」ということは成り立つとしたら寒ーいということはない"が導かれる
7. 推論4と推論5から、推論6: "この募集は寒ーくない"が導かれる
8. 推論3と推論6から、推論7: "この募集は寒ーくない一方でそれは形状だ"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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