その御都合は命中するということはない
fact1: もしもあの脊椎過敏症が捗々しくないとしたらその御都合は青臭い fact2: あの脊椎過敏症が反応し易くないとしたらそれは聞き取り易いかあるいはそれは捗々しくないかどちらもだ fact3: あの脊椎過敏症は反応し易くない fact4: あの脊椎過敏症が聞き取り易いとすればその御都合は青臭い fact5: 青臭いものは命中しない
fact2 & fact3 -> int1: あの脊椎過敏症は聞き取り易いかまたは捗々しいということはないかどちらもである; int1 & fact4 & fact1 -> int2: その御都合は青臭い; fact5 -> int3: もしもその御都合が青臭いとすれば命中するということはない; int2 & int3 -> hypothesis;
$facts$ = fact1: もしもあの脊椎過敏症が捗々しくないとしたらその御都合は青臭い fact2: あの脊椎過敏症が反応し易くないとしたらそれは聞き取り易いかあるいはそれは捗々しくないかどちらもだ fact3: あの脊椎過敏症は反応し易くない fact4: あの脊椎過敏症が聞き取り易いとすればその御都合は青臭い fact5: 青臭いものは命中しない ; $hypothesis$ = その御都合は命中するということはない ; $proof$ = 
fact2 & fact3 -> int1: あの脊椎過敏症は聞き取り易いかまたは捗々しいということはないかどちらもである; int1 & fact4 & fact1 -> int2: その御都合は青臭い; fact5 -> int3: もしもその御都合が青臭いとすれば命中するということはない; int2 & int3 -> hypothesis; __PROVED__
事実1: もしもあの脊椎過敏症が捗々しくないとしたらその御都合は青臭い
事実2: あの脊椎過敏症が反応し易くないとしたらそれは聞き取り易いかあるいはそれは捗々しくないかどちらもだ
事実3: あの脊椎過敏症は反応し易くない
事実4: あの脊椎過敏症が聞き取り易いとすればその御都合は青臭い
事実5: 青臭いものは命中しない

仮説: その御都合は命中するということはない
1. 事実2と事実3から、推論1: "あの脊椎過敏症は聞き取り易いかまたは捗々しいということはないかどちらもである"が導かれる
2. 推論1と事実4と事実1から、推論2: "その御都合は青臭い"が導かれる
3. 事実5から、推論3: "もしもその御都合が青臭いとすれば命中するということはない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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