「もし「アルコールランプであるかあるいは絶句するかあるいはどちらもである」ということは成り立たないならばステディでない」物はある
fact1: もし仮にあの頼り甲斐がアルコールランプであるかもしくは絶句するとするとステディでない fact2: もし仮に「あるものはアルコールランプであるかあるいは絶句するかどちらもである」ということは成り立たないとすればそれはステディだということはない fact3: 「もし「アルコールランプであるかあるいは絶句する」ということは偽であるとすればステディな」物はある fact4: 「仮に「奥深いかまたは腑甲斐無いかまたはどちらもだ」ということは間違いであるなら渋くない」物はある fact5: 「もし「ロサンゼルス・タイムズであるかあるいは卑しいか両方だ」ということは間違いであるとすればはにかまない」ものはある fact6: 「なにかはアルコールランプであるかあるいは絶句するかまたは両方である」ということは誤っているとするとステディだ fact7: もしも「なんらかのものは与し易いかもしくは取り計らうかあるいは両方だ」ということは成り立たないならば垂れ下がらない fact8: 「もしもアルコールランプであるかもしくは絶句するかあるいはどちらもであるならステディでない」ものはある fact9: もし仮に「あの頼り甲斐はアルコールランプであるかもしくは絶句するかもしくは両方ともだ」ということは成り立たないとするとそれはステディである fact10: 仮に何かはアルコールランプであるかそれは絶句するかもしくは両方ともであるとすると「それはステディでない」ということは確かである fact11: 「仮に「国是であるかまたは機密保持であるか両方だ」ということは事実と異なるとすればきびきびしない」物はある fact12: もしも「そのホルター心電図は凝固するかまたはユーザーＢであるかどちらもである」ということは成り立つということはないとするとそれはナショナル・リーグでない
fact2 -> int1: もしも「あの頼り甲斐はアルコールランプであるかまたは絶句する」ということは事実と異なるならステディでない; int1 -> hypothesis;
$facts$ = fact1: もし仮にあの頼り甲斐がアルコールランプであるかもしくは絶句するとするとステディでない fact2: もし仮に「あるものはアルコールランプであるかあるいは絶句するかどちらもである」ということは成り立たないとすればそれはステディだということはない fact3: 「もし「アルコールランプであるかあるいは絶句する」ということは偽であるとすればステディな」物はある fact4: 「仮に「奥深いかまたは腑甲斐無いかまたはどちらもだ」ということは間違いであるなら渋くない」物はある fact5: 「もし「ロサンゼルス・タイムズであるかあるいは卑しいか両方だ」ということは間違いであるとすればはにかまない」ものはある fact6: 「なにかはアルコールランプであるかあるいは絶句するかまたは両方である」ということは誤っているとするとステディだ fact7: もしも「なんらかのものは与し易いかもしくは取り計らうかあるいは両方だ」ということは成り立たないならば垂れ下がらない fact8: 「もしもアルコールランプであるかもしくは絶句するかあるいはどちらもであるならステディでない」ものはある fact9: もし仮に「あの頼り甲斐はアルコールランプであるかもしくは絶句するかもしくは両方ともだ」ということは成り立たないとするとそれはステディである fact10: 仮に何かはアルコールランプであるかそれは絶句するかもしくは両方ともであるとすると「それはステディでない」ということは確かである fact11: 「仮に「国是であるかまたは機密保持であるか両方だ」ということは事実と異なるとすればきびきびしない」物はある fact12: もしも「そのホルター心電図は凝固するかまたはユーザーＢであるかどちらもである」ということは成り立つということはないとするとそれはナショナル・リーグでない ; $hypothesis$ = 「もし「アルコールランプであるかあるいは絶句するかあるいはどちらもである」ということは成り立たないならばステディでない」物はある ; $proof$ = 
fact2 -> int1: もしも「あの頼り甲斐はアルコールランプであるかまたは絶句する」ということは事実と異なるならステディでない; int1 -> hypothesis; __PROVED__
事実1: もし仮にあの頼り甲斐がアルコールランプであるかもしくは絶句するとするとステディでない
事実2: もし仮に「あるものはアルコールランプであるかあるいは絶句するかどちらもである」ということは成り立たないとすればそれはステディだということはない
事実3: 「もし「アルコールランプであるかあるいは絶句する」ということは偽であるとすればステディな」物はある
事実4: 「仮に「奥深いかまたは腑甲斐無いかまたはどちらもだ」ということは間違いであるなら渋くない」物はある
事実5: 「もし「ロサンゼルス・タイムズであるかあるいは卑しいか両方だ」ということは間違いであるとすればはにかまない」ものはある
事実6: 「なにかはアルコールランプであるかあるいは絶句するかまたは両方である」ということは誤っているとするとステディだ
事実7: もしも「なんらかのものは与し易いかもしくは取り計らうかあるいは両方だ」ということは成り立たないならば垂れ下がらない
事実8: 「もしもアルコールランプであるかもしくは絶句するかあるいはどちらもであるならステディでない」ものはある
事実9: もし仮に「あの頼り甲斐はアルコールランプであるかもしくは絶句するかもしくは両方ともだ」ということは成り立たないとするとそれはステディである
事実10: 仮に何かはアルコールランプであるかそれは絶句するかもしくは両方ともであるとすると「それはステディでない」ということは確かである
事実11: 「仮に「国是であるかまたは機密保持であるか両方だ」ということは事実と異なるとすればきびきびしない」物はある
事実12: もしも「そのホルター心電図は凝固するかまたはユーザーＢであるかどちらもである」ということは成り立つということはないとするとそれはナショナル・リーグでない

仮説: 「もし「アルコールランプであるかあるいは絶句するかあるいはどちらもである」ということは成り立たないならばステディでない」物はある
1. 事実2から、推論1: "もしも「あの頼り甲斐はアルコールランプであるかまたは絶句する」ということは事実と異なるならステディでない"が導かれる
2. 推論1から、仮説が導かれる

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