もし「この錫杖は下位目標だということはない」ということは成り立つとすればあの幼体はそつ無くないかあるいはそれはおっそろしないかまたはどちらもだ
fact1: もし仮に「あの幼体は厚生大臣でない」ということは成り立てばこの錫杖は主催しないがしかしそれは乾き易い fact2: もしもある物は主催しないけれど乾き易いとするとそれはそつ無くない fact3: もし仮に「何かは拝謁するしそれは宣戦する」ということは誤りだとするとそれは厚生大臣でない fact4: 「この錫杖はおっそろしないししかも下位目標だということはない」ということは確かだということはない fact5: 仮に「この錫杖はおっそろしということはないけれど下位目標だ」ということは誤っているとするとこの調達過程はおっそろしない fact6: もしこの錫杖がおっそろしとするとあの幼体はそつ無くないかまたはそれはおっそろしないか両方ともだ fact7: もしなにがしかのものはそつ無くないとすれば「おっそろしないしおまけにそれは下位目標だ」ということは真実でない fact8: 押し易いものはある fact9: もしあの幼体がそつ無いならこの錫杖はおっそろしないかもしくはそつ無いかもしくは両方だ
void -> assump1: 以下のように仮定する。この錫杖はおっそろしということはない; void -> assump2: 以下のように仮定する。この錫杖は下位目標でない; assump1 & assump2 -> int1: 「この錫杖はおっそろしないし更に下位目標でない」ということは真実だ; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この錫杖はおっそろし」ということは確かだ; int3 & fact6 -> int4: あの幼体はそつ無くないかおっそろしないかあるいは両方ともだ; [assump2] & int4 -> hypothesis;
この調達過程はおっそろしということはない
fact13 -> int5: 仮にこの錫杖はそつ無くないとすれば「おっそろしないがしかし下位目標である」ということは正しくない; fact10 -> int6: もしもこの錫杖が主催しないけれど乾き易いならそつ無いということはない; fact11 -> int7: もし仮に「あの幼体は拝謁するしそれは宣戦する」ということは間違っているとすると厚生大臣でない;
$facts$ = fact1: もし仮に「あの幼体は厚生大臣でない」ということは成り立てばこの錫杖は主催しないがしかしそれは乾き易い fact2: もしもある物は主催しないけれど乾き易いとするとそれはそつ無くない fact3: もし仮に「何かは拝謁するしそれは宣戦する」ということは誤りだとするとそれは厚生大臣でない fact4: 「この錫杖はおっそろしないししかも下位目標だということはない」ということは確かだということはない fact5: 仮に「この錫杖はおっそろしということはないけれど下位目標だ」ということは誤っているとするとこの調達過程はおっそろしない fact6: もしこの錫杖がおっそろしとするとあの幼体はそつ無くないかまたはそれはおっそろしないか両方ともだ fact7: もしなにがしかのものはそつ無くないとすれば「おっそろしないしおまけにそれは下位目標だ」ということは真実でない fact8: 押し易いものはある fact9: もしあの幼体がそつ無いならこの錫杖はおっそろしないかもしくはそつ無いかもしくは両方だ ; $hypothesis$ = もし「この錫杖は下位目標だということはない」ということは成り立つとすればあの幼体はそつ無くないかあるいはそれはおっそろしないかまたはどちらもだ ; $proof$ = 
void -> assump1: 以下のように仮定する。この錫杖はおっそろしということはない; void -> assump2: 以下のように仮定する。この錫杖は下位目標でない; assump1 & assump2 -> int1: 「この錫杖はおっそろしないし更に下位目標でない」ということは真実だ; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この錫杖はおっそろし」ということは確かだ; int3 & fact6 -> int4: あの幼体はそつ無くないかおっそろしないかあるいは両方ともだ; [assump2] & int4 -> hypothesis; __PROVED__
事実1: もし仮に「あの幼体は厚生大臣でない」ということは成り立てばこの錫杖は主催しないがしかしそれは乾き易い
事実2: もしもある物は主催しないけれど乾き易いとするとそれはそつ無くない
事実3: もし仮に「何かは拝謁するしそれは宣戦する」ということは誤りだとするとそれは厚生大臣でない
事実4: 「この錫杖はおっそろしないししかも下位目標だということはない」ということは確かだということはない
事実5: 仮に「この錫杖はおっそろしということはないけれど下位目標だ」ということは誤っているとするとこの調達過程はおっそろしない
事実6: もしこの錫杖がおっそろしとするとあの幼体はそつ無くないかまたはそれはおっそろしないか両方ともだ
事実7: もしなにがしかのものはそつ無くないとすれば「おっそろしないしおまけにそれは下位目標だ」ということは真実でない
事実8: 押し易いものはある
事実9: もしあの幼体がそつ無いならこの錫杖はおっそろしないかもしくはそつ無いかもしくは両方だ

仮説: もし「この錫杖は下位目標だということはない」ということは成り立つとすればあの幼体はそつ無くないかあるいはそれはおっそろしないかまたはどちらもだ
1. 仮定1: 以下のように仮定する。この錫杖はおっそろしということはない
2. 仮定2: 以下のように仮定する。この錫杖は下位目標でない
3. 仮定1と仮定2から、推論1: "「この錫杖はおっそろしないし更に下位目標でない」ということは真実だ"が導かれる
4. 推論1と事実4から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "「この錫杖はおっそろし」ということは確かだ"が導かれる
6. 推論3と事実6から、推論4: "あの幼体はそつ無くないかおっそろしないかあるいは両方ともだ"が導かれる
7. [仮定2]と推論4から、仮説が導かれる

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