この先天異常は赤くない
fact1: この先天異常は隠し切れる fact2: その学籍簿は赤いし跪く fact3: この反応パターンは隠し切れる fact4: 仮にとあるものは隠し切れるしまた掘り続ければそれは赤いということはない fact5: もしもこのオルガン弾きが赤くないかまたは隠し切れるということはないかまたは両方ともならばあの先天異常は赤い fact6: この先天異常は掘り続ける
fact1 & fact6 -> int1: この先天異常は隠し切れるしおまけに掘り続ける; fact4 -> int2: もし仮にこの先天異常が隠し切れるしその上掘り続ければそれは赤いということはない; int1 & int2 -> hypothesis;
fact1 & fact6 -> int1: ({A}{a} & {B}{a}); fact4 -> int2: ({A}{a} & {B}{a}) -> ¬{C}{a}; int1 & int2 -> hypothesis;
この先天異常は赤い
$facts$ = fact1: この先天異常は隠し切れる fact2: その学籍簿は赤いし跪く fact3: この反応パターンは隠し切れる fact4: 仮にとあるものは隠し切れるしまた掘り続ければそれは赤いということはない fact5: もしもこのオルガン弾きが赤くないかまたは隠し切れるということはないかまたは両方ともならばあの先天異常は赤い fact6: この先天異常は掘り続ける ; $hypothesis$ = この先天異常は赤くない ; $proof$ = 
fact1 & fact6 -> int1: この先天異常は隠し切れるしおまけに掘り続ける; fact4 -> int2: もし仮にこの先天異常が隠し切れるしその上掘り続ければそれは赤いということはない; int1 & int2 -> hypothesis; __PROVED__
事実1: この先天異常は隠し切れる
事実2: その学籍簿は赤いし跪く
事実3: この反応パターンは隠し切れる
事実4: 仮にとあるものは隠し切れるしまた掘り続ければそれは赤いということはない
事実5: もしもこのオルガン弾きが赤くないかまたは隠し切れるということはないかまたは両方ともならばあの先天異常は赤い
事実6: この先天異常は掘り続ける

仮説: この先天異常は赤くない
1. 事実1と事実6から、推論1: "この先天異常は隠し切れるしおまけに掘り続ける"が導かれる
2. 事実4から、推論2: "もし仮にこの先天異常が隠し切れるしその上掘り続ければそれは赤いということはない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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