このアイホールは救助隊であるがしかし寒くない
fact1: もしこのずぼらが溜め込み易いとしたら打ち崩すということはないかまたはそれはポストであるかあるいは両方である fact2: もしなんらかのものはポストでないなら「それは救助隊だ一方で寒くない」ということは誤りだ fact3: 仮に「このアイホールは救助隊だが寒くない」ということは嘘だとすれば近寄り難いということはない fact4: もし仮に「このアイホールはポストでないかあるいは打ち崩すかあるいは両方ともだ」ということは嘘であるとするとあの冷肉は溜め込み易くない fact5: もしもあの冷肉が近寄り難くてかつポストであるならこのアイホールはポストでない fact6: あらゆる物は溜め込み易くてそれは最新データだ fact7: もしなんらかの物は近寄り難くないとしたら「ポストでないか打ち崩すか両方だ」ということは誤っている
void -> assump1: 以下のように仮定する。「このアイホールは救助隊であるけれど寒くない」ということは成り立つということはない; fact3 & assump1 -> int1: このアイホールは近寄り難くない; fact7 -> int2: もしもこのアイホールは近寄り難いということはないならば「それはポストだということはないかもしくはそれは打ち崩す」ということは誤っている; int1 & int2 -> int3: 「このアイホールはポストだということはないかあるいは打ち崩す」ということは誤りである; int3 & fact4 -> int4: あの冷肉は溜め込み易くない; fact6 -> int5: あの冷肉は溜め込み易くて加えて最新データである; int5 -> int6: あの冷肉は溜め込み易い; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
「このアイホールは救助隊だ一方でそれは寒くない」ということは嘘である
fact8 -> int8: 仮にこのアイホールはポストでないなら「それは救助隊だけど寒くない」ということは嘘だ;
$facts$ = fact1: もしこのずぼらが溜め込み易いとしたら打ち崩すということはないかまたはそれはポストであるかあるいは両方である fact2: もしなんらかのものはポストでないなら「それは救助隊だ一方で寒くない」ということは誤りだ fact3: 仮に「このアイホールは救助隊だが寒くない」ということは嘘だとすれば近寄り難いということはない fact4: もし仮に「このアイホールはポストでないかあるいは打ち崩すかあるいは両方ともだ」ということは嘘であるとするとあの冷肉は溜め込み易くない fact5: もしもあの冷肉が近寄り難くてかつポストであるならこのアイホールはポストでない fact6: あらゆる物は溜め込み易くてそれは最新データだ fact7: もしなんらかの物は近寄り難くないとしたら「ポストでないか打ち崩すか両方だ」ということは誤っている ; $hypothesis$ = このアイホールは救助隊であるがしかし寒くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「このアイホールは救助隊であるけれど寒くない」ということは成り立つということはない; fact3 & assump1 -> int1: このアイホールは近寄り難くない; fact7 -> int2: もしもこのアイホールは近寄り難いということはないならば「それはポストだということはないかもしくはそれは打ち崩す」ということは誤っている; int1 & int2 -> int3: 「このアイホールはポストだということはないかあるいは打ち崩す」ということは誤りである; int3 & fact4 -> int4: あの冷肉は溜め込み易くない; fact6 -> int5: あの冷肉は溜め込み易くて加えて最新データである; int5 -> int6: あの冷肉は溜め込み易い; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もしこのずぼらが溜め込み易いとしたら打ち崩すということはないかまたはそれはポストであるかあるいは両方である
事実2: もしなんらかのものはポストでないなら「それは救助隊だ一方で寒くない」ということは誤りだ
事実3: 仮に「このアイホールは救助隊だが寒くない」ということは嘘だとすれば近寄り難いということはない
事実4: もし仮に「このアイホールはポストでないかあるいは打ち崩すかあるいは両方ともだ」ということは嘘であるとするとあの冷肉は溜め込み易くない
事実5: もしもあの冷肉が近寄り難くてかつポストであるならこのアイホールはポストでない
事実6: あらゆる物は溜め込み易くてそれは最新データだ
事実7: もしなんらかの物は近寄り難くないとしたら「ポストでないか打ち崩すか両方だ」ということは誤っている

仮説: このアイホールは救助隊であるがしかし寒くない
1. 仮定1: 以下のように仮定する。「このアイホールは救助隊であるけれど寒くない」ということは成り立つということはない
2. 事実3と仮定1から、推論1: "このアイホールは近寄り難くない"が導かれる
3. 事実7から、推論2: "もしもこのアイホールは近寄り難いということはないならば「それはポストだということはないかもしくはそれは打ち崩す」ということは誤っている"が導かれる
4. 推論1と推論2から、推論3: "「このアイホールはポストだということはないかあるいは打ち崩す」ということは誤りである"が導かれる
5. 推論3と事実4から、推論4: "あの冷肉は溜め込み易くない"が導かれる
6. 事実6から、推論5: "あの冷肉は溜め込み易くて加えて最新データである"が導かれる
7. 推論5から、推論6: "あの冷肉は溜め込み易い"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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