この冒険小説はＫＧ／日でない
fact1: この医学管理が旅立つとしたらその前庭階はＰＰＰＯＡだ fact2: 利用され易いものはフランチェスコ派である fact3: その墓参はフランチェスコ派であるかそれは国政調査であるかあるいは両方ともだ fact4: もしもその前庭階がＰＰＰＯＡでないけどそれが旅立つとすればこの危険時間はフランチェスコ派である fact5: もしその衛生上が利用され易いとすればその墓参は封入する fact6: もし仮に「このＦ点は今季だ」ということは正しいならばあの衛生上は封入する fact7: もし仮にあのエンドユーザーが故障だとしたらその墓参は国政調査である fact8: このＦ点は封入する fact9: その衛生上は利用され易い fact10: もしこのＦ点は集まり易いならば「その衛生上は封入する」ということは嘘でない fact11: 仮にこの危険時間が利用され易くないけれどそれがフランチェスコ派であるとすればこの医学管理は旅立つ fact12: 国政調査は利用され易い fact13: もしもその前庭階がＰＰＰＯＡならこの冒険小説はＫＧ／日である fact14: その前庭階は封入する fact15: このＦ点は今季であるかもしくは集まり易いかもしくは両方である fact16: 仮にその衛生上が封入するとするとあのエンドユーザーは故障だ fact17: この内的状態はフランチェスコ派だ fact18: もし仮に「その墓参は利用され易い」ということは本当であるとするとこの危険時間は利用され易いということはないけどそれはフランチェスコ派である fact19: 「仮にその墓参がＫＧ／日であるし利用され易いならばこの医学管理は旅立つ」ということは正しい
fact15 & fact6 & fact10 -> int1: その衛生上は封入する; int1 & fact16 -> int2: あのエンドユーザーは故障だ; int2 & fact7 -> int3: その墓参は国政調査だ; fact12 -> int4: その墓参は国政調査であるなら利用され易い; int3 & int4 -> int5: その墓参は利用され易い; int5 & fact18 -> int6: 「この危険時間は利用され易くない一方でそれはフランチェスコ派だ」ということは真実だ; int6 & fact11 -> int7: 「この医学管理は旅立つ」ということは真実である; int7 & fact1 -> int8: その前庭階はＰＰＰＯＡである; int8 & fact13 -> hypothesis;
$facts$ = fact1: この医学管理が旅立つとしたらその前庭階はＰＰＰＯＡだ fact2: 利用され易いものはフランチェスコ派である fact3: その墓参はフランチェスコ派であるかそれは国政調査であるかあるいは両方ともだ fact4: もしもその前庭階がＰＰＰＯＡでないけどそれが旅立つとすればこの危険時間はフランチェスコ派である fact5: もしその衛生上が利用され易いとすればその墓参は封入する fact6: もし仮に「このＦ点は今季だ」ということは正しいならばあの衛生上は封入する fact7: もし仮にあのエンドユーザーが故障だとしたらその墓参は国政調査である fact8: このＦ点は封入する fact9: その衛生上は利用され易い fact10: もしこのＦ点は集まり易いならば「その衛生上は封入する」ということは嘘でない fact11: 仮にこの危険時間が利用され易くないけれどそれがフランチェスコ派であるとすればこの医学管理は旅立つ fact12: 国政調査は利用され易い fact13: もしもその前庭階がＰＰＰＯＡならこの冒険小説はＫＧ／日である fact14: その前庭階は封入する fact15: このＦ点は今季であるかもしくは集まり易いかもしくは両方である fact16: 仮にその衛生上が封入するとするとあのエンドユーザーは故障だ fact17: この内的状態はフランチェスコ派だ fact18: もし仮に「その墓参は利用され易い」ということは本当であるとするとこの危険時間は利用され易いということはないけどそれはフランチェスコ派である fact19: 「仮にその墓参がＫＧ／日であるし利用され易いならばこの医学管理は旅立つ」ということは正しい ; $hypothesis$ = この冒険小説はＫＧ／日でない ; $proof$ = 
fact15 & fact6 & fact10 -> int1: その衛生上は封入する; int1 & fact16 -> int2: あのエンドユーザーは故障だ; int2 & fact7 -> int3: その墓参は国政調査だ; fact12 -> int4: その墓参は国政調査であるなら利用され易い; int3 & int4 -> int5: その墓参は利用され易い; int5 & fact18 -> int6: 「この危険時間は利用され易くない一方でそれはフランチェスコ派だ」ということは真実だ; int6 & fact11 -> int7: 「この医学管理は旅立つ」ということは真実である; int7 & fact1 -> int8: その前庭階はＰＰＰＯＡである; int8 & fact13 -> hypothesis; __DISPROVED__
事実1: この医学管理が旅立つとしたらその前庭階はＰＰＰＯＡだ
事実2: 利用され易いものはフランチェスコ派である
事実3: その墓参はフランチェスコ派であるかそれは国政調査であるかあるいは両方ともだ
事実4: もしもその前庭階がＰＰＰＯＡでないけどそれが旅立つとすればこの危険時間はフランチェスコ派である
事実5: もしその衛生上が利用され易いとすればその墓参は封入する
事実6: もし仮に「このＦ点は今季だ」ということは正しいならばあの衛生上は封入する
事実7: もし仮にあのエンドユーザーが故障だとしたらその墓参は国政調査である
事実8: このＦ点は封入する
事実9: その衛生上は利用され易い
事実10: もしこのＦ点は集まり易いならば「その衛生上は封入する」ということは嘘でない
事実11: 仮にこの危険時間が利用され易くないけれどそれがフランチェスコ派であるとすればこの医学管理は旅立つ
事実12: 国政調査は利用され易い
事実13: もしもその前庭階がＰＰＰＯＡならこの冒険小説はＫＧ／日である
事実14: その前庭階は封入する
事実15: このＦ点は今季であるかもしくは集まり易いかもしくは両方である
事実16: 仮にその衛生上が封入するとするとあのエンドユーザーは故障だ
事実17: この内的状態はフランチェスコ派だ
事実18: もし仮に「その墓参は利用され易い」ということは本当であるとするとこの危険時間は利用され易いということはないけどそれはフランチェスコ派である
事実19: 「仮にその墓参がＫＧ／日であるし利用され易いならばこの医学管理は旅立つ」ということは正しい

仮説: この冒険小説はＫＧ／日でない
1. 事実15と事実6と事実10から、推論1: "その衛生上は封入する"が導かれる
2. 推論1と事実16から、推論2: "あのエンドユーザーは故障だ"が導かれる
3. 推論2と事実7から、推論3: "その墓参は国政調査だ"が導かれる
4. 事実12から、推論4: "その墓参は国政調査であるなら利用され易い"が導かれる
5. 推論3と推論4から、推論5: "その墓参は利用され易い"が導かれる
6. 推論5と事実18から、推論6: "「この危険時間は利用され易くない一方でそれはフランチェスコ派だ」ということは真実だ"が導かれる
7. 推論6と事実11から、推論7: "「この医学管理は旅立つ」ということは真実である"が導かれる
8. 推論7と事実1から、推論8: "その前庭階はＰＰＰＯＡである"が導かれる
9. 推論8と事実13から、仮説が否定される

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