その撮影者は集約しなくて加えてシエラ号事件でない
fact1: 全ては聞き取り易くないしひ弱い fact2: あの腫瘍性病変は聞き取り易くないがしかしひ弱いとすれば「それはレベルダウンしない」ということは事実である fact3: 「仮に「このバッチ処理はレベルダウンする」ということは正しいとすれば「その撮影者が集約するということはないしその上それはシエラ号事件でない」ということは嘘である」ということは本当である fact4: 「なんらかの物はレベルダウンする」ということは成り立つ fact5: なにかはレベルダウンするとしたらその撮影者は集約しない fact6: あの親王がレベルダウンするとすればあのバッチ処理はレベルダウンする fact7: もしも「現われ始める」ものがあればその賃金格差は黄色くないしおまけに集約しない fact8: なんらかの物がレベルダウンすればその撮影者は集約しなくてそれはシエラ号事件でない fact9: その撮影者は集約するということはない
fact4 & fact8 -> hypothesis;
fact4 & fact8 -> hypothesis;
「あの腫瘍性病変はレベルダウンしなくてまた構え易くない」ということは成り立つ
fact11 -> int1: あの腫瘍性病変は聞き取り易くないけれどそれはひ弱い; fact10 & int1 -> int2: 「あの腫瘍性病変はレベルダウンしない」ということは正しい;
$facts$ = fact1: 全ては聞き取り易くないしひ弱い fact2: あの腫瘍性病変は聞き取り易くないがしかしひ弱いとすれば「それはレベルダウンしない」ということは事実である fact3: 「仮に「このバッチ処理はレベルダウンする」ということは正しいとすれば「その撮影者が集約するということはないしその上それはシエラ号事件でない」ということは嘘である」ということは本当である fact4: 「なんらかの物はレベルダウンする」ということは成り立つ fact5: なにかはレベルダウンするとしたらその撮影者は集約しない fact6: あの親王がレベルダウンするとすればあのバッチ処理はレベルダウンする fact7: もしも「現われ始める」ものがあればその賃金格差は黄色くないしおまけに集約しない fact8: なんらかの物がレベルダウンすればその撮影者は集約しなくてそれはシエラ号事件でない fact9: その撮影者は集約するということはない ; $hypothesis$ = その撮影者は集約しなくて加えてシエラ号事件でない ; $proof$ = 
fact4 & fact8 -> hypothesis; __PROVED__
事実1: 全ては聞き取り易くないしひ弱い
事実2: あの腫瘍性病変は聞き取り易くないがしかしひ弱いとすれば「それはレベルダウンしない」ということは事実である
事実3: 「仮に「このバッチ処理はレベルダウンする」ということは正しいとすれば「その撮影者が集約するということはないしその上それはシエラ号事件でない」ということは嘘である」ということは本当である
事実4: 「なんらかの物はレベルダウンする」ということは成り立つ
事実5: なにかはレベルダウンするとしたらその撮影者は集約しない
事実6: あの親王がレベルダウンするとすればあのバッチ処理はレベルダウンする
事実7: もしも「現われ始める」ものがあればその賃金格差は黄色くないしおまけに集約しない
事実8: なんらかの物がレベルダウンすればその撮影者は集約しなくてそれはシエラ号事件でない
事実9: その撮影者は集約するということはない

仮説: その撮影者は集約しなくて加えてシエラ号事件でない
1. 事実4と事実8から、仮説が導かれる

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