その傷害事件は追儺である
fact1: もし仮にその地下水汚染経由がすばしこいならばその傷害事件は追儺だ fact2: もしその地下水汚染経由が追儺ならばあの傷害事件はすばしこい fact3: もしもこの女童が生成し易くないならばその地下水汚染経由は生成し易い fact4: もし仮にこの女童が生成し易くないかあるいはそれは対応し易くないか両方ともだとすると生成し易くない fact5: もしもその地下水汚染経由が生成し易いならその傷害事件は苛々し易くないしその上過不足無くない fact6: その傷害事件はすばしこい fact7: その地下水汚染経由は追儺である fact8: 苛々し易くない物は追儺であるということはないかすばしこいないかもしくはどちらもだ fact9: その傷害事件は測定原理である fact10: 「その地下水汚染経由はすばしこい」ということは確かだ
fact1 & fact10 -> hypothesis;
fact1 & fact10 -> hypothesis;
その傷害事件は追儺でない
fact12 -> int1: もしその傷害事件は苛々し易くないならば「追儺でないかまたはすばしこくない」ということは事実である;
$facts$ = fact1: もし仮にその地下水汚染経由がすばしこいならばその傷害事件は追儺だ fact2: もしその地下水汚染経由が追儺ならばあの傷害事件はすばしこい fact3: もしもこの女童が生成し易くないならばその地下水汚染経由は生成し易い fact4: もし仮にこの女童が生成し易くないかあるいはそれは対応し易くないか両方ともだとすると生成し易くない fact5: もしもその地下水汚染経由が生成し易いならその傷害事件は苛々し易くないしその上過不足無くない fact6: その傷害事件はすばしこい fact7: その地下水汚染経由は追儺である fact8: 苛々し易くない物は追儺であるということはないかすばしこいないかもしくはどちらもだ fact9: その傷害事件は測定原理である fact10: 「その地下水汚染経由はすばしこい」ということは確かだ ; $hypothesis$ = その傷害事件は追儺である ; $proof$ = 
fact1 & fact10 -> hypothesis; __PROVED__
事実1: もし仮にその地下水汚染経由がすばしこいならばその傷害事件は追儺だ
事実2: もしその地下水汚染経由が追儺ならばあの傷害事件はすばしこい
事実3: もしもこの女童が生成し易くないならばその地下水汚染経由は生成し易い
事実4: もし仮にこの女童が生成し易くないかあるいはそれは対応し易くないか両方ともだとすると生成し易くない
事実5: もしもその地下水汚染経由が生成し易いならその傷害事件は苛々し易くないしその上過不足無くない
事実6: その傷害事件はすばしこい
事実7: その地下水汚染経由は追儺である
事実8: 苛々し易くない物は追儺であるということはないかすばしこいないかもしくはどちらもだ
事実9: その傷害事件は測定原理である
事実10: 「その地下水汚染経由はすばしこい」ということは確かだ

仮説: その傷害事件は追儺である
1. 事実1と事実10から、仮説が導かれる

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