そのＮＵＲは通ずるかまたはそれは飛ぶ
fact1: もし仮になんらかのものは耐性化しないとすると「それは通ずるかもしくは飛ぶかまたはどちらもだ」ということは真実だということはない fact2: 何らかのものが耐性化しないが華々しいとすればそのＮＵＲは粗くない fact3: 「耐性化しない」ものはある fact4: もしも「粗くないし加えて華々しい」物があるとしたらそのＮＵＲは耐性化しない fact5: ある物は耐性化するしそれは華々しい fact6: 「飛ばないししかも華々しい」物はある fact7: もしもなんらかの物が曲がり掛けないならばそれは華々しいかあるいはそれは粗い fact8: 粗くないものは通ずる fact9: あの慎ましさは耐性化しない fact10: あの名画は耐性化しない fact11: あの名画は華々しい fact12: 「華々しい」ものはある fact13: とある物は華々しくないけど飛ぶ
fact10 & fact11 -> int1: あの名画は耐性化しないけれど華々しい; int1 -> int2: 「耐性化しないし華々しい」ものはある; int2 & fact2 -> int3: そのＮＵＲは粗いということはない; fact8 -> int4: もしもそのＮＵＲが粗くないならそれは通ずる; int3 & int4 -> int5: そのＮＵＲは通ずる; int5 -> hypothesis;
「そのＮＵＲは通ずるか飛ぶか両方だ」ということは偽だ
fact14 -> int6: もし仮に「そのＮＵＲは耐性化しない」ということは本当であるならば「それは通ずるか飛ぶかあるいは両方だ」ということは偽である; fact15 -> int7: 「仮にそのＮＵＲが曲がり掛けないならそのＮＵＲは華々しいかあるいは粗いか両方ともである」ということは事実である;
$facts$ = fact1: もし仮になんらかのものは耐性化しないとすると「それは通ずるかもしくは飛ぶかまたはどちらもだ」ということは真実だということはない fact2: 何らかのものが耐性化しないが華々しいとすればそのＮＵＲは粗くない fact3: 「耐性化しない」ものはある fact4: もしも「粗くないし加えて華々しい」物があるとしたらそのＮＵＲは耐性化しない fact5: ある物は耐性化するしそれは華々しい fact6: 「飛ばないししかも華々しい」物はある fact7: もしもなんらかの物が曲がり掛けないならばそれは華々しいかあるいはそれは粗い fact8: 粗くないものは通ずる fact9: あの慎ましさは耐性化しない fact10: あの名画は耐性化しない fact11: あの名画は華々しい fact12: 「華々しい」ものはある fact13: とある物は華々しくないけど飛ぶ ; $hypothesis$ = そのＮＵＲは通ずるかまたはそれは飛ぶ ; $proof$ = 
fact10 & fact11 -> int1: あの名画は耐性化しないけれど華々しい; int1 -> int2: 「耐性化しないし華々しい」ものはある; int2 & fact2 -> int3: そのＮＵＲは粗いということはない; fact8 -> int4: もしもそのＮＵＲが粗くないならそれは通ずる; int3 & int4 -> int5: そのＮＵＲは通ずる; int5 -> hypothesis; __PROVED__
事実1: もし仮になんらかのものは耐性化しないとすると「それは通ずるかもしくは飛ぶかまたはどちらもだ」ということは真実だということはない
事実2: 何らかのものが耐性化しないが華々しいとすればそのＮＵＲは粗くない
事実3: 「耐性化しない」ものはある
事実4: もしも「粗くないし加えて華々しい」物があるとしたらそのＮＵＲは耐性化しない
事実5: ある物は耐性化するしそれは華々しい
事実6: 「飛ばないししかも華々しい」物はある
事実7: もしもなんらかの物が曲がり掛けないならばそれは華々しいかあるいはそれは粗い
事実8: 粗くないものは通ずる
事実9: あの慎ましさは耐性化しない
事実10: あの名画は耐性化しない
事実11: あの名画は華々しい
事実12: 「華々しい」ものはある
事実13: とある物は華々しくないけど飛ぶ

仮説: そのＮＵＲは通ずるかまたはそれは飛ぶ
1. 事実10と事実11から、推論1: "あの名画は耐性化しないけれど華々しい"が導かれる
2. 推論1から、推論2: "「耐性化しないし華々しい」ものはある"が導かれる
3. 推論2と事実2から、推論3: "そのＮＵＲは粗いということはない"が導かれる
4. 事実8から、推論4: "もしもそのＮＵＲが粗くないならそれは通ずる"が導かれる
5. 推論3と推論4から、推論5: "そのＮＵＲは通ずる"が導かれる
6. 推論5から、仮説が導かれる

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