もし仮にその控股公司はエリアステーションだとすると「この安全牌は急ぎ過ぎなくて加えて厚くない」ということは誤りである
fact1: この安全牌が厚いならその控股公司は正しくないしかつ急ぎ過ぎない fact2: 「この安全牌は急ぎ過ぎないが厚い」ということは間違いだ fact3: もしその控股公司は急ぎ過ぎるとすれば「この安全牌は尽くし難くないけれど厚い」ということは誤りである fact4: 「この六寺は断り難くないしさらに正しくない」ということは成り立たない fact5: 仮に「その控股公司は急ぎ過ぎる」ということは成り立つとすれば「この安全牌は尽くし難くないけどエリアステーションだ」ということは嘘だ fact6: この魚屋さんは急ぎ過ぎない fact7: この連結確定申告書は厚くない fact8: 仮にその控股公司はエリアステーションだとすれば「この安全牌は急ぎ過ぎるけど厚くない」ということは嘘だ fact9: もしその控股公司は正しくないとすれば「「この安全牌は急ぎ過ぎなくて更に厚くない」ということは誤りだ」ということは成り立つ fact10: 「仮にその控股公司がエリアステーションであるかまたはそれが尽くし難いかもしくは両方ともならその控股公司は正しくない」ということは本当だ fact11: 「この安全牌は急ぎ過ぎるがしかし厚くない」ということは事実と異なる fact12: もし仮にこの安全牌はエリアステーションでないとしたら「その控股公司は正しくない一方で厚い」ということは成り立つということはない fact13: もしもこの安全牌はエリアステーションだということはないなら「その控股公司は厚いがしかし尽くし難くない」ということは誤りだ
void -> assump1: 以下のように仮定する。その控股公司はエリアステーションである; assump1 -> int1: その控股公司はエリアステーションであるかあるいは尽くし難いかあるいは両方だ; int1 & fact10 -> int2: その控股公司は正しくない; int2 & fact9 -> int3: 「この安全牌は急ぎ過ぎなくて更に厚くない」ということは成り立たない; [assump1] & int3 -> hypothesis;
$facts$ = fact1: この安全牌が厚いならその控股公司は正しくないしかつ急ぎ過ぎない fact2: 「この安全牌は急ぎ過ぎないが厚い」ということは間違いだ fact3: もしその控股公司は急ぎ過ぎるとすれば「この安全牌は尽くし難くないけれど厚い」ということは誤りである fact4: 「この六寺は断り難くないしさらに正しくない」ということは成り立たない fact5: 仮に「その控股公司は急ぎ過ぎる」ということは成り立つとすれば「この安全牌は尽くし難くないけどエリアステーションだ」ということは嘘だ fact6: この魚屋さんは急ぎ過ぎない fact7: この連結確定申告書は厚くない fact8: 仮にその控股公司はエリアステーションだとすれば「この安全牌は急ぎ過ぎるけど厚くない」ということは嘘だ fact9: もしその控股公司は正しくないとすれば「「この安全牌は急ぎ過ぎなくて更に厚くない」ということは誤りだ」ということは成り立つ fact10: 「仮にその控股公司がエリアステーションであるかまたはそれが尽くし難いかもしくは両方ともならその控股公司は正しくない」ということは本当だ fact11: 「この安全牌は急ぎ過ぎるがしかし厚くない」ということは事実と異なる fact12: もし仮にこの安全牌はエリアステーションでないとしたら「その控股公司は正しくない一方で厚い」ということは成り立つということはない fact13: もしもこの安全牌はエリアステーションだということはないなら「その控股公司は厚いがしかし尽くし難くない」ということは誤りだ ; $hypothesis$ = もし仮にその控股公司はエリアステーションだとすると「この安全牌は急ぎ過ぎなくて加えて厚くない」ということは誤りである ; $proof$ = 
void -> assump1: 以下のように仮定する。その控股公司はエリアステーションである; assump1 -> int1: その控股公司はエリアステーションであるかあるいは尽くし難いかあるいは両方だ; int1 & fact10 -> int2: その控股公司は正しくない; int2 & fact9 -> int3: 「この安全牌は急ぎ過ぎなくて更に厚くない」ということは成り立たない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: この安全牌が厚いならその控股公司は正しくないしかつ急ぎ過ぎない
事実2: 「この安全牌は急ぎ過ぎないが厚い」ということは間違いだ
事実3: もしその控股公司は急ぎ過ぎるとすれば「この安全牌は尽くし難くないけれど厚い」ということは誤りである
事実4: 「この六寺は断り難くないしさらに正しくない」ということは成り立たない
事実5: 仮に「その控股公司は急ぎ過ぎる」ということは成り立つとすれば「この安全牌は尽くし難くないけどエリアステーションだ」ということは嘘だ
事実6: この魚屋さんは急ぎ過ぎない
事実7: この連結確定申告書は厚くない
事実8: 仮にその控股公司はエリアステーションだとすれば「この安全牌は急ぎ過ぎるけど厚くない」ということは嘘だ
事実9: もしその控股公司は正しくないとすれば「「この安全牌は急ぎ過ぎなくて更に厚くない」ということは誤りだ」ということは成り立つ
事実10: 「仮にその控股公司がエリアステーションであるかまたはそれが尽くし難いかもしくは両方ともならその控股公司は正しくない」ということは本当だ
事実11: 「この安全牌は急ぎ過ぎるがしかし厚くない」ということは事実と異なる
事実12: もし仮にこの安全牌はエリアステーションでないとしたら「その控股公司は正しくない一方で厚い」ということは成り立つということはない
事実13: もしもこの安全牌はエリアステーションだということはないなら「その控股公司は厚いがしかし尽くし難くない」ということは誤りだ

仮説: もし仮にその控股公司はエリアステーションだとすると「この安全牌は急ぎ過ぎなくて加えて厚くない」ということは誤りである
1. 仮定1: 以下のように仮定する。その控股公司はエリアステーションである
2. 仮定1から、推論1: "その控股公司はエリアステーションであるかあるいは尽くし難いかあるいは両方だ"が導かれる
3. 推論1と事実10から、推論2: "その控股公司は正しくない"が導かれる
4. 推論2と事実9から、推論3: "「この安全牌は急ぎ過ぎなくて更に厚くない」ということは成り立たない"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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