あのアルコール中毒患者は配線しないかもしくはそれは最盛でない
fact1: もしこの退色は最盛だということはないとすると「そのサブクラスは全同教であるししかも腫れぼったい」ということは成り立たない fact2: この退色が如何わしいということはないとするとあのアルコール中毒患者は配線しないかもしくは最盛であるかどちらもである fact3: 「この退色は如何わしくない」ということは事実であるとしたらあのアルコール中毒患者は配線しないか最盛でないか両方である fact4: そのサブクラスは腫れぼったいということはない fact5: あの口伝えは如何わしくない fact6: あの口伝えは全同教でないとしたら「この退色は利き難くて脱色する」ということは正しくない fact7: もし「そのサブクラスは腫れぼったくない」ということは成り立つとすれば「「あの口伝えは脱色するしそれに利き難い」ということは成り立たない」ということは事実だ fact8: 「あの口伝えは脱色するし利き難い」ということは間違いだとするとこの退色は全同教でない fact9: もしこの退色が全同教でないならばあのアルコール中毒患者は如何わしいか最盛だということはないかあるいは両方ともだ fact10: もしも何らかのものは全同教でないとしたらそれは如何わしいということはない
fact7 & fact4 -> int1: 「あの口伝えは脱色するし更にそれは利き難い」ということは成り立たない; int1 & fact8 -> int2: この退色は全同教でない; fact10 -> int3: もし仮にこの退色は全同教でないならばそれは如何わしくない; int2 & int3 -> int4: この退色は如何わしくない; int4 & fact3 -> hypothesis;
$facts$ = fact1: もしこの退色は最盛だということはないとすると「そのサブクラスは全同教であるししかも腫れぼったい」ということは成り立たない fact2: この退色が如何わしいということはないとするとあのアルコール中毒患者は配線しないかもしくは最盛であるかどちらもである fact3: 「この退色は如何わしくない」ということは事実であるとしたらあのアルコール中毒患者は配線しないか最盛でないか両方である fact4: そのサブクラスは腫れぼったいということはない fact5: あの口伝えは如何わしくない fact6: あの口伝えは全同教でないとしたら「この退色は利き難くて脱色する」ということは正しくない fact7: もし「そのサブクラスは腫れぼったくない」ということは成り立つとすれば「「あの口伝えは脱色するしそれに利き難い」ということは成り立たない」ということは事実だ fact8: 「あの口伝えは脱色するし利き難い」ということは間違いだとするとこの退色は全同教でない fact9: もしこの退色が全同教でないならばあのアルコール中毒患者は如何わしいか最盛だということはないかあるいは両方ともだ fact10: もしも何らかのものは全同教でないとしたらそれは如何わしいということはない ; $hypothesis$ = あのアルコール中毒患者は配線しないかもしくはそれは最盛でない ; $proof$ = 
fact7 & fact4 -> int1: 「あの口伝えは脱色するし更にそれは利き難い」ということは成り立たない; int1 & fact8 -> int2: この退色は全同教でない; fact10 -> int3: もし仮にこの退色は全同教でないならばそれは如何わしくない; int2 & int3 -> int4: この退色は如何わしくない; int4 & fact3 -> hypothesis; __PROVED__
事実1: もしこの退色は最盛だということはないとすると「そのサブクラスは全同教であるししかも腫れぼったい」ということは成り立たない
事実2: この退色が如何わしいということはないとするとあのアルコール中毒患者は配線しないかもしくは最盛であるかどちらもである
事実3: 「この退色は如何わしくない」ということは事実であるとしたらあのアルコール中毒患者は配線しないか最盛でないか両方である
事実4: そのサブクラスは腫れぼったいということはない
事実5: あの口伝えは如何わしくない
事実6: あの口伝えは全同教でないとしたら「この退色は利き難くて脱色する」ということは正しくない
事実7: もし「そのサブクラスは腫れぼったくない」ということは成り立つとすれば「「あの口伝えは脱色するしそれに利き難い」ということは成り立たない」ということは事実だ
事実8: 「あの口伝えは脱色するし利き難い」ということは間違いだとするとこの退色は全同教でない
事実9: もしこの退色が全同教でないならばあのアルコール中毒患者は如何わしいか最盛だということはないかあるいは両方ともだ
事実10: もしも何らかのものは全同教でないとしたらそれは如何わしいということはない

仮説: あのアルコール中毒患者は配線しないかもしくはそれは最盛でない
1. 事実7と事実4から、推論1: "「あの口伝えは脱色するし更にそれは利き難い」ということは成り立たない"が導かれる
2. 推論1と事実8から、推論2: "この退色は全同教でない"が導かれる
3. 事実10から、推論3: "もし仮にこの退色は全同教でないならばそれは如何わしくない"が導かれる
4. 推論2と推論3から、推論4: "この退色は如何わしくない"が導かれる
5. 推論4と事実3から、仮説が導かれる

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