もし「あの特殊技能は理屈っぽくない」ということは事実と異ならないとすればあの実際例は蒸さないけどそれは元首だ
fact1: あの実際例は元首である fact2: 「あの特殊技能は元首でない」ということは成り立つということはない fact3: あの特殊技能は理屈っぽいかあるいは冬らしいかあるいはどちらもだ fact4: 「「蒸さない」ということは誤っていない」ものはある fact5: もしも理屈っぽくないかあるいは冬らしいかまたはどちらもな物があるとするとあの実際例は蒸さない fact6: あの三千年前は元首だ
void -> assump1: 以下のように仮定する。あの特殊技能は理屈っぽいということはない; assump1 -> int1: あの特殊技能は理屈っぽくないかまたは冬らしいかあるいはどちらもである; int1 -> int2: なんらかの物は理屈っぽくないか冬らしいかまたはどちらもだ; int2 & fact5 -> int3: あの実際例は蒸さない; int3 & fact1 -> int4: あの実際例は蒸すということはないけれど元首だ; [assump1] & int4 -> hypothesis;
$facts$ = fact1: あの実際例は元首である fact2: 「あの特殊技能は元首でない」ということは成り立つということはない fact3: あの特殊技能は理屈っぽいかあるいは冬らしいかあるいはどちらもだ fact4: 「「蒸さない」ということは誤っていない」ものはある fact5: もしも理屈っぽくないかあるいは冬らしいかまたはどちらもな物があるとするとあの実際例は蒸さない fact6: あの三千年前は元首だ ; $hypothesis$ = もし「あの特殊技能は理屈っぽくない」ということは事実と異ならないとすればあの実際例は蒸さないけどそれは元首だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの特殊技能は理屈っぽいということはない; assump1 -> int1: あの特殊技能は理屈っぽくないかまたは冬らしいかあるいはどちらもである; int1 -> int2: なんらかの物は理屈っぽくないか冬らしいかまたはどちらもだ; int2 & fact5 -> int3: あの実際例は蒸さない; int3 & fact1 -> int4: あの実際例は蒸すということはないけれど元首だ; [assump1] & int4 -> hypothesis; __PROVED__
事実1: あの実際例は元首である
事実2: 「あの特殊技能は元首でない」ということは成り立つということはない
事実3: あの特殊技能は理屈っぽいかあるいは冬らしいかあるいはどちらもだ
事実4: 「「蒸さない」ということは誤っていない」ものはある
事実5: もしも理屈っぽくないかあるいは冬らしいかまたはどちらもな物があるとするとあの実際例は蒸さない
事実6: あの三千年前は元首だ

仮説: もし「あの特殊技能は理屈っぽくない」ということは事実と異ならないとすればあの実際例は蒸さないけどそれは元首だ
1. 仮定1: 以下のように仮定する。あの特殊技能は理屈っぽいということはない
2. 仮定1から、推論1: "あの特殊技能は理屈っぽくないかまたは冬らしいかあるいはどちらもである"が導かれる
3. 推論1から、推論2: "なんらかの物は理屈っぽくないか冬らしいかまたはどちらもだ"が導かれる
4. 推論2と事実5から、推論3: "あの実際例は蒸さない"が導かれる
5. 推論3と事実1から、推論4: "あの実際例は蒸すということはないけれど元首だ"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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