あのパズルは御高くない
fact1: あの液相がみっともなくないならそれは登山家らしい fact2: 「もし仮に「あの液相は登山家らしい」ということは事実だとすればあのパズルは御高い」ということは成り立つ fact3: 仮にあの烏頭は長駆するとしたら「あのパズルはドーパントでないし更にプロバイダでない」ということは成り立たない fact4: もし仮にあの烏頭が登山家らしいとするとあの液相はみっともなくないし加えて御高くない fact5: もしもその病院機能評価が長駆しないとするとあの烏頭はドーパントであるしプロバイダだ fact6: もしもとある物がドーパントだとしたら登山家らしい fact7: あのパズルは登山家らしい fact8: あのパズルはみっともない fact9: あの液相はみっともなくない fact10: もし仮にあの液相が登山家らしいかそれがみっともないかもしくはどちらもならばあの阜新炭鉱は御高くない fact11: 仮に「あのパズルはドーパントでなくてその上プロバイダでない」ということは成り立つということはないとするとあの液相はみっともない fact12: もしもあの液相がみっともなくなくてしかも御高いということはないとしたらあのパズルは御高くない
fact1 & fact9 -> int1: あの液相は登山家らしい; int1 & fact2 -> hypothesis;
fact1 & fact9 -> int1: {B}{a}; int1 & fact2 -> hypothesis;
「その阜新炭鉱は御高くない」ということは事実である
$facts$ = fact1: あの液相がみっともなくないならそれは登山家らしい fact2: 「もし仮に「あの液相は登山家らしい」ということは事実だとすればあのパズルは御高い」ということは成り立つ fact3: 仮にあの烏頭は長駆するとしたら「あのパズルはドーパントでないし更にプロバイダでない」ということは成り立たない fact4: もし仮にあの烏頭が登山家らしいとするとあの液相はみっともなくないし加えて御高くない fact5: もしもその病院機能評価が長駆しないとするとあの烏頭はドーパントであるしプロバイダだ fact6: もしもとある物がドーパントだとしたら登山家らしい fact7: あのパズルは登山家らしい fact8: あのパズルはみっともない fact9: あの液相はみっともなくない fact10: もし仮にあの液相が登山家らしいかそれがみっともないかもしくはどちらもならばあの阜新炭鉱は御高くない fact11: 仮に「あのパズルはドーパントでなくてその上プロバイダでない」ということは成り立つということはないとするとあの液相はみっともない fact12: もしもあの液相がみっともなくなくてしかも御高いということはないとしたらあのパズルは御高くない ; $hypothesis$ = あのパズルは御高くない ; $proof$ = 
fact1 & fact9 -> int1: あの液相は登山家らしい; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: あの液相がみっともなくないならそれは登山家らしい
事実2: 「もし仮に「あの液相は登山家らしい」ということは事実だとすればあのパズルは御高い」ということは成り立つ
事実3: 仮にあの烏頭は長駆するとしたら「あのパズルはドーパントでないし更にプロバイダでない」ということは成り立たない
事実4: もし仮にあの烏頭が登山家らしいとするとあの液相はみっともなくないし加えて御高くない
事実5: もしもその病院機能評価が長駆しないとするとあの烏頭はドーパントであるしプロバイダだ
事実6: もしもとある物がドーパントだとしたら登山家らしい
事実7: あのパズルは登山家らしい
事実8: あのパズルはみっともない
事実9: あの液相はみっともなくない
事実10: もし仮にあの液相が登山家らしいかそれがみっともないかもしくはどちらもならばあの阜新炭鉱は御高くない
事実11: 仮に「あのパズルはドーパントでなくてその上プロバイダでない」ということは成り立つということはないとするとあの液相はみっともない
事実12: もしもあの液相がみっともなくなくてしかも御高いということはないとしたらあのパズルは御高くない

仮説: あのパズルは御高くない
1. 事実1と事実9から、推論1: "あの液相は登山家らしい"が導かれる
2. 推論1と事実2から、仮説が否定される

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