この翌二ＡＭは寝惚けない
fact1: 仮に「「性分らしいしさらにＤＣＦ法だ」ということは嘘な」ものがあるとするとこの翌二ＡＭは差し込まない fact2: 仮になんらかの物が差し込むということはないとすればそれは寝惚ける fact3: 「「性分らしいしＤＣＦ法だ」ということは成り立たない」物はある fact4: 「「赤しししかも性分らしい」ということは誤っている」ものはあるなら「この翌二ＡＭは診療場面であるということはない」ということは成り立つ fact5: もしある物が重たくないならばそれは御偉い fact6: 「「快いしおまけに子等だ」ということは誤りである」物はある
fact2 -> int1: もしこの翌二ＡＭが差し込まないとすれば寝惚ける; fact3 & fact1 -> int2: この翌二ＡＭは差し込むということはない; int1 & int2 -> hypothesis;
fact2 -> int1: ¬{B}{aa} -> {C}{aa}; fact3 & fact1 -> int2: ¬{B}{aa}; int1 & int2 -> hypothesis;
$facts$ = fact1: 仮に「「性分らしいしさらにＤＣＦ法だ」ということは嘘な」ものがあるとするとこの翌二ＡＭは差し込まない fact2: 仮になんらかの物が差し込むということはないとすればそれは寝惚ける fact3: 「「性分らしいしＤＣＦ法だ」ということは成り立たない」物はある fact4: 「「赤しししかも性分らしい」ということは誤っている」ものはあるなら「この翌二ＡＭは診療場面であるということはない」ということは成り立つ fact5: もしある物が重たくないならばそれは御偉い fact6: 「「快いしおまけに子等だ」ということは誤りである」物はある ; $hypothesis$ = この翌二ＡＭは寝惚けない ; $proof$ = 
fact2 -> int1: もしこの翌二ＡＭが差し込まないとすれば寝惚ける; fact3 & fact1 -> int2: この翌二ＡＭは差し込むということはない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮に「「性分らしいしさらにＤＣＦ法だ」ということは嘘な」ものがあるとするとこの翌二ＡＭは差し込まない
事実2: 仮になんらかの物が差し込むということはないとすればそれは寝惚ける
事実3: 「「性分らしいしＤＣＦ法だ」ということは成り立たない」物はある
事実4: 「「赤しししかも性分らしい」ということは誤っている」ものはあるなら「この翌二ＡＭは診療場面であるということはない」ということは成り立つ
事実5: もしある物が重たくないならばそれは御偉い
事実6: 「「快いしおまけに子等だ」ということは誤りである」物はある

仮説: この翌二ＡＭは寝惚けない
1. 事実2から、推論1: "もしこの翌二ＡＭが差し込まないとすれば寝惚ける"が導かれる
2. 事実3と事実1から、推論2: "この翌二ＡＭは差し込むということはない"が導かれる
3. 推論1と推論2から、仮説が否定される

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