もしもあのアレルギー疾患が提言出来るとしたらその後列は勝ち誇る
fact1: もしその後列が勝ち誇るということはないとするとそれは代謝性アシドーシスであるということはない fact2: もし「その後列は道場生でなくて浮き易くない」ということは偽であるならあのアレルギー疾患は提言出来ない fact3: もしもその中核市が外し出すとしたらアリストオーナーでないし更に提言出来ない fact4: もし何かは青しないとすると「それは道場生でなくて浮き易くない」ということは正しいということはない fact5: もし仮にその後列は勝ち誇らないなら「青しないしそれにそれは代謝性アシドーシスでない」ということは本当だ fact6: もし「ある物は道場生であるしさらに浮き易い」ということは成り立たないならそれは浮き易くない
void -> assump2: 以下のように仮定する。その後列は勝ち誇らない; fact5 & assump2 -> int1: その後列は青しないし更に代謝性アシドーシスでない; int1 -> int2: その後列は青しない; fact4 -> int3: もしもその後列は青しないとすると「それは道場生でないしさらに浮き易くない」ということは事実だということはない; int2 & int3 -> int4: 「その後列は道場生でないしそれは浮き易くない」ということは真実でない; int4 & fact2 -> int5: あのアレルギー疾患は提言出来ない; void -> assump1: 以下のように仮定する。あのアレルギー疾患は提言出来る; int5 & assump1 -> int6: これは矛盾である; [assump2] & int6 -> int7: その後列は勝ち誇る; [assump1] & int7 -> hypothesis;
あの九十五年頃は浮き易くない
fact7 -> int8: 仮に「あの九十五年頃が道場生だしそれにそれは浮き易い」ということは成り立つということはないならばそれは浮き易くない;
$facts$ = fact1: もしその後列が勝ち誇るということはないとするとそれは代謝性アシドーシスであるということはない fact2: もし「その後列は道場生でなくて浮き易くない」ということは偽であるならあのアレルギー疾患は提言出来ない fact3: もしもその中核市が外し出すとしたらアリストオーナーでないし更に提言出来ない fact4: もし何かは青しないとすると「それは道場生でなくて浮き易くない」ということは正しいということはない fact5: もし仮にその後列は勝ち誇らないなら「青しないしそれにそれは代謝性アシドーシスでない」ということは本当だ fact6: もし「ある物は道場生であるしさらに浮き易い」ということは成り立たないならそれは浮き易くない ; $hypothesis$ = もしもあのアレルギー疾患が提言出来るとしたらその後列は勝ち誇る ; $proof$ = 
void -> assump2: 以下のように仮定する。その後列は勝ち誇らない; fact5 & assump2 -> int1: その後列は青しないし更に代謝性アシドーシスでない; int1 -> int2: その後列は青しない; fact4 -> int3: もしもその後列は青しないとすると「それは道場生でないしさらに浮き易くない」ということは事実だということはない; int2 & int3 -> int4: 「その後列は道場生でないしそれは浮き易くない」ということは真実でない; int4 & fact2 -> int5: あのアレルギー疾患は提言出来ない; void -> assump1: 以下のように仮定する。あのアレルギー疾患は提言出来る; int5 & assump1 -> int6: これは矛盾である; [assump2] & int6 -> int7: その後列は勝ち誇る; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もしその後列が勝ち誇るということはないとするとそれは代謝性アシドーシスであるということはない
事実2: もし「その後列は道場生でなくて浮き易くない」ということは偽であるならあのアレルギー疾患は提言出来ない
事実3: もしもその中核市が外し出すとしたらアリストオーナーでないし更に提言出来ない
事実4: もし何かは青しないとすると「それは道場生でなくて浮き易くない」ということは正しいということはない
事実5: もし仮にその後列は勝ち誇らないなら「青しないしそれにそれは代謝性アシドーシスでない」ということは本当だ
事実6: もし「ある物は道場生であるしさらに浮き易い」ということは成り立たないならそれは浮き易くない

仮説: もしもあのアレルギー疾患が提言出来るとしたらその後列は勝ち誇る
1. 仮定2: 以下のように仮定する。その後列は勝ち誇らない
2. 事実5と仮定2から、推論1: "その後列は青しないし更に代謝性アシドーシスでない"が導かれる
3. 推論1から、推論2: "その後列は青しない"が導かれる
4. 事実4から、推論3: "もしもその後列は青しないとすると「それは道場生でないしさらに浮き易くない」ということは事実だということはない"が導かれる
5. 推論2と推論3から、推論4: "「その後列は道場生でないしそれは浮き易くない」ということは真実でない"が導かれる
6. 推論4と事実2から、推論5: "あのアレルギー疾患は提言出来ない"が導かれる
7. 仮定1: 以下のように仮定する。あのアレルギー疾患は提言出来る
8. 推論5と仮定1から、推論6: "これは矛盾である"が導かれる
9. [仮定2]と推論6から、推論7: "その後列は勝ち誇る"が導かれる
10. [仮定1]と推論7から、仮説が導かれる

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