その苦労は訂正する
fact1: あの理念的価値は勝ち易いししかもそれは水彩絵の具である fact2: 仮に「比較出来る」物があるならあのシバ神は参加型学習でない fact3: その苦労はＡＤＳＬ回線だ fact4: そのＰＬ学園は比較出来る fact5: 仮にその苦労がＡＤＳＬ回線だとすると訂正しないけど発表致す fact6: その苦労が間違え易くないならあのシバ神は昇進出来るしそれは支障無い fact7: この時間連続が放射出来ないならその苦労は間違え易いということはない fact8: 仮になんらかのものは参加型学習でないが支障無いとすれば思い込まさない fact9: このコレステロールが放射出来ないとすればこの時間連続は放射出来ない fact10: もしなんらかの物は仲間入りするしさらに勝ち易いとすると「このコレステロールは放射出来ない」ということは確かである fact11: 「その苦労がＡＤＳＬ回線であるとするとその苦労は発表致す」ということは正しい fact12: 仮に「なんらかの物は訂正するということはないししかも思い込まさない」ということは間違いであるならば訂正する fact13: 何かは思い込まさないなら「それはＡＤＳＬ回線であるしおまけにそれは訂正する」ということは成り立たない fact14: その苦労は発表致す fact15: もしも「なにがしかの物はＡＤＳＬ回線でない」ということは事実ならば「訂正しなくて加えて思い込まさない」ということは事実でない fact16: あの十三歳以上は訂正しない fact17: あの理念的価値は仲間入りする
fact5 & fact3 -> int1: その苦労は訂正しない一方でそれは発表致す; int1 -> hypothesis;
その苦労は訂正する
fact18 -> int2: もし仮に「「その苦労は訂正しないし思い込まさない」ということは成り立たない」ということは真実だとすればそれは訂正する; fact19 -> int3: その苦労はＡＤＳＬ回線でないとすると「それは訂正しないしその上思い込ますということはない」ということは成り立たない;
$facts$ = fact1: あの理念的価値は勝ち易いししかもそれは水彩絵の具である fact2: 仮に「比較出来る」物があるならあのシバ神は参加型学習でない fact3: その苦労はＡＤＳＬ回線だ fact4: そのＰＬ学園は比較出来る fact5: 仮にその苦労がＡＤＳＬ回線だとすると訂正しないけど発表致す fact6: その苦労が間違え易くないならあのシバ神は昇進出来るしそれは支障無い fact7: この時間連続が放射出来ないならその苦労は間違え易いということはない fact8: 仮になんらかのものは参加型学習でないが支障無いとすれば思い込まさない fact9: このコレステロールが放射出来ないとすればこの時間連続は放射出来ない fact10: もしなんらかの物は仲間入りするしさらに勝ち易いとすると「このコレステロールは放射出来ない」ということは確かである fact11: 「その苦労がＡＤＳＬ回線であるとするとその苦労は発表致す」ということは正しい fact12: 仮に「なんらかの物は訂正するということはないししかも思い込まさない」ということは間違いであるならば訂正する fact13: 何かは思い込まさないなら「それはＡＤＳＬ回線であるしおまけにそれは訂正する」ということは成り立たない fact14: その苦労は発表致す fact15: もしも「なにがしかの物はＡＤＳＬ回線でない」ということは事実ならば「訂正しなくて加えて思い込まさない」ということは事実でない fact16: あの十三歳以上は訂正しない fact17: あの理念的価値は仲間入りする ; $hypothesis$ = その苦労は訂正する ; $proof$ = 
fact5 & fact3 -> int1: その苦労は訂正しない一方でそれは発表致す; int1 -> hypothesis; __DISPROVED__
事実1: あの理念的価値は勝ち易いししかもそれは水彩絵の具である
事実2: 仮に「比較出来る」物があるならあのシバ神は参加型学習でない
事実3: その苦労はＡＤＳＬ回線だ
事実4: そのＰＬ学園は比較出来る
事実5: 仮にその苦労がＡＤＳＬ回線だとすると訂正しないけど発表致す
事実6: その苦労が間違え易くないならあのシバ神は昇進出来るしそれは支障無い
事実7: この時間連続が放射出来ないならその苦労は間違え易いということはない
事実8: 仮になんらかのものは参加型学習でないが支障無いとすれば思い込まさない
事実9: このコレステロールが放射出来ないとすればこの時間連続は放射出来ない
事実10: もしなんらかの物は仲間入りするしさらに勝ち易いとすると「このコレステロールは放射出来ない」ということは確かである
事実11: 「その苦労がＡＤＳＬ回線であるとするとその苦労は発表致す」ということは正しい
事実12: 仮に「なんらかの物は訂正するということはないししかも思い込まさない」ということは間違いであるならば訂正する
事実13: 何かは思い込まさないなら「それはＡＤＳＬ回線であるしおまけにそれは訂正する」ということは成り立たない
事実14: その苦労は発表致す
事実15: もしも「なにがしかの物はＡＤＳＬ回線でない」ということは事実ならば「訂正しなくて加えて思い込まさない」ということは事実でない
事実16: あの十三歳以上は訂正しない
事実17: あの理念的価値は仲間入りする

仮説: その苦労は訂正する
1. 事実5と事実3から、推論1: "その苦労は訂正しない一方でそれは発表致す"が導かれる
2. 推論1から、仮説が否定される

よって、仮説が否定されました。