あの通常複数は旧耐震基準でない
fact1: もしも「「話し易い」ということは成り立たない」物はあるとすれば「この上時国家文書は変化し易くてドレスアップする」ということは誤りだ fact2: もしなんらかのものは自己破産しないならば「それは弱々しいしそれにそれは継続し難い」ということは真実でない fact3: 「あの消防団は抜き取らないかもしくは弱々しかないかあるいは両方ともだ」ということは誤っている fact4: 「あの恩典は抜き取らない」ということは本当だ fact5: 仮にあの消防団が旧耐震基準だとしたらあの通常複数は旧耐震基準である fact6: 仮にあの通常複数は旧耐震基準であるとしたら「向かい合わせる」ということは事実である fact7: それはアーウィンでないししかも多いということはないというものはない fact8: あのシュノーケルが旧耐震基準であるならあの消防団は旧耐震基準である fact9: もし「あの消防団は抜き取らないかもしくは弱々しいか両方ともである」ということは成り立たないとすればあの通常複数は向かい合わせない fact10: もしとある物が抜き取るということはないならばそれは旧耐震基準で向かい合わせる fact11: 「あの消防団は抜き取らないかもしくは弱々しかないかまたはどちらもである」ということは成り立たないとしたらあの通常複数は向かい合わせない fact12: 仮に「「この上時国家文書は変化し易くてまたドレスアップする」ということは間違いだ」ということは本当だとしたらそれは自己破産しない fact13: もし「何らかのものはアーウィンでなくてその上多くない」ということは成り立たないならそれは話し易いということはない
void -> assump1: 以下のように仮定する。あの通常複数は旧耐震基準だ; fact6 & assump1 -> int1: あの通常複数は向かい合わせる; fact3 & fact11 -> int2: 「あの通常複数は向かい合わせない」ということは成り立つ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
「あの通常複数は旧耐震基準だ」ということは成り立つ
fact17 -> int4: もしあのシュノーケルが抜き取らないとしたら旧耐震基準であるし向かい合わせる; fact19 -> int5: もし仮にこの上時国家文書は自己破産しないならば「それは弱々しくてまたそれは継続し難い」ということは成り立たない; fact15 -> int6: 仮に「あの山名はアーウィンでなくて加えて多いということはない」ということは嘘ならば「それは話し易くない」ということは事実である; fact14 -> int7: 「あの山名はアーウィンでないし多くない」ということは偽である; int6 & int7 -> int8: あの山名は話し易くない; int8 -> int9: 「「話し易くない」ということは確かである」ものはある; int9 & fact21 -> int10: 「「この上時国家文書は変化し易いししかもドレスアップする」ということは事実である」ということは間違っている; fact16 & int10 -> int11: この上時国家文書は自己破産しない; int5 & int11 -> int12: 「「この上時国家文書は弱々しいしそれは継続し難い」ということは成り立つ」ということは間違っている; int12 -> int13: 「「弱々しくて継続し難い」ということは間違いな」物はある;
$facts$ = fact1: もしも「「話し易い」ということは成り立たない」物はあるとすれば「この上時国家文書は変化し易くてドレスアップする」ということは誤りだ fact2: もしなんらかのものは自己破産しないならば「それは弱々しいしそれにそれは継続し難い」ということは真実でない fact3: 「あの消防団は抜き取らないかもしくは弱々しかないかあるいは両方ともだ」ということは誤っている fact4: 「あの恩典は抜き取らない」ということは本当だ fact5: 仮にあの消防団が旧耐震基準だとしたらあの通常複数は旧耐震基準である fact6: 仮にあの通常複数は旧耐震基準であるとしたら「向かい合わせる」ということは事実である fact7: それはアーウィンでないししかも多いということはないというものはない fact8: あのシュノーケルが旧耐震基準であるならあの消防団は旧耐震基準である fact9: もし「あの消防団は抜き取らないかもしくは弱々しいか両方ともである」ということは成り立たないとすればあの通常複数は向かい合わせない fact10: もしとある物が抜き取るということはないならばそれは旧耐震基準で向かい合わせる fact11: 「あの消防団は抜き取らないかもしくは弱々しかないかまたはどちらもである」ということは成り立たないとしたらあの通常複数は向かい合わせない fact12: 仮に「「この上時国家文書は変化し易くてまたドレスアップする」ということは間違いだ」ということは本当だとしたらそれは自己破産しない fact13: もし「何らかのものはアーウィンでなくてその上多くない」ということは成り立たないならそれは話し易いということはない ; $hypothesis$ = あの通常複数は旧耐震基準でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの通常複数は旧耐震基準だ; fact6 & assump1 -> int1: あの通常複数は向かい合わせる; fact3 & fact11 -> int2: 「あの通常複数は向かい合わせない」ということは成り立つ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしも「「話し易い」ということは成り立たない」物はあるとすれば「この上時国家文書は変化し易くてドレスアップする」ということは誤りだ
事実2: もしなんらかのものは自己破産しないならば「それは弱々しいしそれにそれは継続し難い」ということは真実でない
事実3: 「あの消防団は抜き取らないかもしくは弱々しかないかあるいは両方ともだ」ということは誤っている
事実4: 「あの恩典は抜き取らない」ということは本当だ
事実5: 仮にあの消防団が旧耐震基準だとしたらあの通常複数は旧耐震基準である
事実6: 仮にあの通常複数は旧耐震基準であるとしたら「向かい合わせる」ということは事実である
事実7: それはアーウィンでないししかも多いということはないというものはない
事実8: あのシュノーケルが旧耐震基準であるならあの消防団は旧耐震基準である
事実9: もし「あの消防団は抜き取らないかもしくは弱々しいか両方ともである」ということは成り立たないとすればあの通常複数は向かい合わせない
事実10: もしとある物が抜き取るということはないならばそれは旧耐震基準で向かい合わせる
事実11: 「あの消防団は抜き取らないかもしくは弱々しかないかまたはどちらもである」ということは成り立たないとしたらあの通常複数は向かい合わせない
事実12: 仮に「「この上時国家文書は変化し易くてまたドレスアップする」ということは間違いだ」ということは本当だとしたらそれは自己破産しない
事実13: もし「何らかのものはアーウィンでなくてその上多くない」ということは成り立たないならそれは話し易いということはない

仮説: あの通常複数は旧耐震基準でない
1. 仮定1: 以下のように仮定する。あの通常複数は旧耐震基準だ
2. 事実6と仮定1から、推論1: "あの通常複数は向かい合わせる"が導かれる
3. 事実3と事実11から、推論2: "「あの通常複数は向かい合わせない」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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