「そのアンプは平和惚けしない」ということは真実だ
fact1: 仮にそのアンプが新訴えればその百科は平和惚けする fact2: もし仮にその米銭が平和惚けするならそのアンプは利尿期だ fact3: そのアンプは新訴える fact4: その米銭は利尿期だ fact5: その米銭は擦れ合う fact6: もしその米銭が利尿期であるとすればその百科は新訴える fact7: その米銭は平和惚けする fact8: 仮にその百科が新訴えるとすればそのアンプは平和惚けする fact9: そのアンプが平べったいとしたらそれは利尿期である
fact6 & fact4 -> int1: 「その百科は新訴えない」ということは成り立たない; int1 & fact8 -> hypothesis;
fact6 & fact4 -> int1: {B}{b}; int1 & fact8 -> hypothesis;
そのアンプは平和惚けしない
$facts$ = fact1: 仮にそのアンプが新訴えればその百科は平和惚けする fact2: もし仮にその米銭が平和惚けするならそのアンプは利尿期だ fact3: そのアンプは新訴える fact4: その米銭は利尿期だ fact5: その米銭は擦れ合う fact6: もしその米銭が利尿期であるとすればその百科は新訴える fact7: その米銭は平和惚けする fact8: 仮にその百科が新訴えるとすればそのアンプは平和惚けする fact9: そのアンプが平べったいとしたらそれは利尿期である ; $hypothesis$ = 「そのアンプは平和惚けしない」ということは真実だ ; $proof$ = 
fact6 & fact4 -> int1: 「その百科は新訴えない」ということは成り立たない; int1 & fact8 -> hypothesis; __DISPROVED__
事実1: 仮にそのアンプが新訴えればその百科は平和惚けする
事実2: もし仮にその米銭が平和惚けするならそのアンプは利尿期だ
事実3: そのアンプは新訴える
事実4: その米銭は利尿期だ
事実5: その米銭は擦れ合う
事実6: もしその米銭が利尿期であるとすればその百科は新訴える
事実7: その米銭は平和惚けする
事実8: 仮にその百科が新訴えるとすればそのアンプは平和惚けする
事実9: そのアンプが平べったいとしたらそれは利尿期である

仮説: 「そのアンプは平和惚けしない」ということは真実だ
1. 事実6と事実4から、推論1: "「その百科は新訴えない」ということは成り立たない"が導かれる
2. 推論1と事実8から、仮説が否定される

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