その胸部Ｘ線検査は丸ごとでおまけにそれはデシケーターだ
fact1: あるものはデシケーターでないならば悪しくて丸ごとだ fact2: もしもなにかはアイラインでないとしたら「書き直せるということはなくてそれに発症し易い」ということは嘘である fact3: もしその九十三年度が発症し易くて更にそれが書き直せるとするとその胸部Ｘ線検査は発症し易いということはない fact4: この設計段階はデシケーターだ fact5: その胸部Ｘ線検査はデシケーターだ fact6: もしもなにかは発症し易くないならば「丸ごとだしさらにデシケーターだ」ということは誤っている fact7: もし「なにがしかのものは書き直せないけどそれは発症し易い」ということは成り立たないならばデシケーターでない fact8: その胸部Ｘ線検査は丸ごとだ
fact8 & fact5 -> hypothesis;
fact8 & fact5 -> hypothesis;
「その胸部Ｘ線検査は丸ごとであるしデシケーターだ」ということは成り立つということはない
fact10 -> int1: 「その胸部Ｘ線検査は発症し易くない」ということは正しいとすれば「それは丸ごとであるしそれにデシケーターである」ということは本当でない;
$facts$ = fact1: あるものはデシケーターでないならば悪しくて丸ごとだ fact2: もしもなにかはアイラインでないとしたら「書き直せるということはなくてそれに発症し易い」ということは嘘である fact3: もしその九十三年度が発症し易くて更にそれが書き直せるとするとその胸部Ｘ線検査は発症し易いということはない fact4: この設計段階はデシケーターだ fact5: その胸部Ｘ線検査はデシケーターだ fact6: もしもなにかは発症し易くないならば「丸ごとだしさらにデシケーターだ」ということは誤っている fact7: もし「なにがしかのものは書き直せないけどそれは発症し易い」ということは成り立たないならばデシケーターでない fact8: その胸部Ｘ線検査は丸ごとだ ; $hypothesis$ = その胸部Ｘ線検査は丸ごとでおまけにそれはデシケーターだ ; $proof$ = 
fact8 & fact5 -> hypothesis; __PROVED__
事実1: あるものはデシケーターでないならば悪しくて丸ごとだ
事実2: もしもなにかはアイラインでないとしたら「書き直せるということはなくてそれに発症し易い」ということは嘘である
事実3: もしその九十三年度が発症し易くて更にそれが書き直せるとするとその胸部Ｘ線検査は発症し易いということはない
事実4: この設計段階はデシケーターだ
事実5: その胸部Ｘ線検査はデシケーターだ
事実6: もしもなにかは発症し易くないならば「丸ごとだしさらにデシケーターだ」ということは誤っている
事実7: もし「なにがしかのものは書き直せないけどそれは発症し易い」ということは成り立たないならばデシケーターでない
事実8: その胸部Ｘ線検査は丸ごとだ

仮説: その胸部Ｘ線検査は丸ごとでおまけにそれはデシケーターだ
1. 事実8と事実5から、仮説が導かれる

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