仮に「その肩身は大新聞社である」ということは本当だとすれば「その秘書給与はおどろおどろしいけれどシーズでない」ということは成り立たない
fact1: もしその肩身が大新聞社だとするとそれは練習時間でないし更に弾き易くない fact2: もしもその肩身がおどろおどろしくないならばその銅鐸は話し辛くないかそれは大新聞社であるかもしくはどちらもである fact3: もし仮に「その秘書給与は話し辛い」ということは成り立つとするとおどろおどろしいしシーズでない fact4: もしその肩身が練習時間だということはないけれど弾き易いとすればあの秘書給与は話し辛い fact5: その肩身は弾き易くない fact6: 「なにかは話し辛い」ということは成り立つとすれば「それはおどろおどろしい一方でシーズでない」ということは間違いだ fact7: 「その秘書給与は話し辛い」ということは事実であるなら「おどろおどろしくてそれはシーズだ」ということは成り立たない fact8: もし仮に「その肩身は話し辛い」ということは成り立つとしたらその秘書給与はシーズであるけれどおどろおどろしくない fact9: 仮に何かは話し辛いならそれはおどろおどろしいけれどシーズでない fact10: もし仮にその肩身が練習時間でなくてかつ弾き易くないとするとその秘書給与は話し辛い
void -> assump1: 以下のように仮定する。「その肩身は大新聞社だということはない」ということは間違っている; fact1 & assump1 -> int1: その肩身は練習時間でないしその上弾き易くない; int1 & fact10 -> int2: その秘書給与は話し辛い; fact6 -> int3: その秘書給与は話し辛いならば「おどろおどろしいがシーズでない」ということは嘘だ; int2 & int3 -> int4: 「「その秘書給与はおどろおどろしいがシーズでない」ということは正しい」ということは誤っている; [assump1] & int4 -> hypothesis;
その銅鐸は弾き易い
$facts$ = fact1: もしその肩身が大新聞社だとするとそれは練習時間でないし更に弾き易くない fact2: もしもその肩身がおどろおどろしくないならばその銅鐸は話し辛くないかそれは大新聞社であるかもしくはどちらもである fact3: もし仮に「その秘書給与は話し辛い」ということは成り立つとするとおどろおどろしいしシーズでない fact4: もしその肩身が練習時間だということはないけれど弾き易いとすればあの秘書給与は話し辛い fact5: その肩身は弾き易くない fact6: 「なにかは話し辛い」ということは成り立つとすれば「それはおどろおどろしい一方でシーズでない」ということは間違いだ fact7: 「その秘書給与は話し辛い」ということは事実であるなら「おどろおどろしくてそれはシーズだ」ということは成り立たない fact8: もし仮に「その肩身は話し辛い」ということは成り立つとしたらその秘書給与はシーズであるけれどおどろおどろしくない fact9: 仮に何かは話し辛いならそれはおどろおどろしいけれどシーズでない fact10: もし仮にその肩身が練習時間でなくてかつ弾き易くないとするとその秘書給与は話し辛い ; $hypothesis$ = 仮に「その肩身は大新聞社である」ということは本当だとすれば「その秘書給与はおどろおどろしいけれどシーズでない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その肩身は大新聞社だということはない」ということは間違っている; fact1 & assump1 -> int1: その肩身は練習時間でないしその上弾き易くない; int1 & fact10 -> int2: その秘書給与は話し辛い; fact6 -> int3: その秘書給与は話し辛いならば「おどろおどろしいがシーズでない」ということは嘘だ; int2 & int3 -> int4: 「「その秘書給与はおどろおどろしいがシーズでない」ということは正しい」ということは誤っている; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もしその肩身が大新聞社だとするとそれは練習時間でないし更に弾き易くない
事実2: もしもその肩身がおどろおどろしくないならばその銅鐸は話し辛くないかそれは大新聞社であるかもしくはどちらもである
事実3: もし仮に「その秘書給与は話し辛い」ということは成り立つとするとおどろおどろしいしシーズでない
事実4: もしその肩身が練習時間だということはないけれど弾き易いとすればあの秘書給与は話し辛い
事実5: その肩身は弾き易くない
事実6: 「なにかは話し辛い」ということは成り立つとすれば「それはおどろおどろしい一方でシーズでない」ということは間違いだ
事実7: 「その秘書給与は話し辛い」ということは事実であるなら「おどろおどろしくてそれはシーズだ」ということは成り立たない
事実8: もし仮に「その肩身は話し辛い」ということは成り立つとしたらその秘書給与はシーズであるけれどおどろおどろしくない
事実9: 仮に何かは話し辛いならそれはおどろおどろしいけれどシーズでない
事実10: もし仮にその肩身が練習時間でなくてかつ弾き易くないとするとその秘書給与は話し辛い

仮説: 仮に「その肩身は大新聞社である」ということは本当だとすれば「その秘書給与はおどろおどろしいけれどシーズでない」ということは成り立たない
1. 仮定1: 以下のように仮定する。「その肩身は大新聞社だということはない」ということは間違っている
2. 事実1と仮定1から、推論1: "その肩身は練習時間でないしその上弾き易くない"が導かれる
3. 推論1と事実10から、推論2: "その秘書給与は話し辛い"が導かれる
4. 事実6から、推論3: "その秘書給与は話し辛いならば「おどろおどろしいがシーズでない」ということは嘘だ"が導かれる
5. 推論2と推論3から、推論4: "「「その秘書給与はおどろおどろしいがシーズでない」ということは正しい」ということは誤っている"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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