「この定宿は図り兼ねらないけれど運動負荷試験だ」ということは成り立たない
fact1: この定宿は心弱くないけど移り難い fact2: この定宿は愛らしい fact3: この定宿は学習塾である fact4: もしもそのフラーレンが同参するということはないとすれば駅頭であるし更にアレンジ出来る fact5: この禁足は図り兼ねる fact6: もし仮にバランス良くないものはセリエＢであるということはないとしたら学習塾である fact7: この定宿は運動負荷試験である fact8: もしもとあるものはアレンジ出来るとしたら「バランス良くないしかつそれはセリエＢであるということはない」ということは成り立つ fact9: もしも「この定宿は学習塾である」ということは本当だとすると「それは図り兼ねらなくてまたそれは運動負荷試験だ」ということは成り立つ fact10: このど素人はバースデイでないが図り兼ねる fact11: 仮に「この定宿は学習塾である」ということは確かであるとしたら運動負荷試験だ fact12: あの年平均気温は学習塾だということはないがしかしそれは同参する
fact9 & fact3 -> hypothesis;
fact9 & fact3 -> hypothesis;
「そのフラーレンは学習塾である」ということは成り立つ
fact13 -> int1: もし仮にそのフラーレンがバランス良いということはなくておまけにセリエＢでないとすれば学習塾だ; fact15 -> int2: もしもそのフラーレンがアレンジ出来るとするとそれはバランス良くなくてかつセリエＢでない;
$facts$ = fact1: この定宿は心弱くないけど移り難い fact2: この定宿は愛らしい fact3: この定宿は学習塾である fact4: もしもそのフラーレンが同参するということはないとすれば駅頭であるし更にアレンジ出来る fact5: この禁足は図り兼ねる fact6: もし仮にバランス良くないものはセリエＢであるということはないとしたら学習塾である fact7: この定宿は運動負荷試験である fact8: もしもとあるものはアレンジ出来るとしたら「バランス良くないしかつそれはセリエＢであるということはない」ということは成り立つ fact9: もしも「この定宿は学習塾である」ということは本当だとすると「それは図り兼ねらなくてまたそれは運動負荷試験だ」ということは成り立つ fact10: このど素人はバースデイでないが図り兼ねる fact11: 仮に「この定宿は学習塾である」ということは確かであるとしたら運動負荷試験だ fact12: あの年平均気温は学習塾だということはないがしかしそれは同参する ; $hypothesis$ = 「この定宿は図り兼ねらないけれど運動負荷試験だ」ということは成り立たない ; $proof$ = 
fact9 & fact3 -> hypothesis; __DISPROVED__
事実1: この定宿は心弱くないけど移り難い
事実2: この定宿は愛らしい
事実3: この定宿は学習塾である
事実4: もしもそのフラーレンが同参するということはないとすれば駅頭であるし更にアレンジ出来る
事実5: この禁足は図り兼ねる
事実6: もし仮にバランス良くないものはセリエＢであるということはないとしたら学習塾である
事実7: この定宿は運動負荷試験である
事実8: もしもとあるものはアレンジ出来るとしたら「バランス良くないしかつそれはセリエＢであるということはない」ということは成り立つ
事実9: もしも「この定宿は学習塾である」ということは本当だとすると「それは図り兼ねらなくてまたそれは運動負荷試験だ」ということは成り立つ
事実10: このど素人はバースデイでないが図り兼ねる
事実11: 仮に「この定宿は学習塾である」ということは確かであるとしたら運動負荷試験だ
事実12: あの年平均気温は学習塾だということはないがしかしそれは同参する

仮説: 「この定宿は図り兼ねらないけれど運動負荷試験だ」ということは成り立たない
1. 事実9と事実3から、仮説が否定される

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