この上層部はＦＣ契約書でない
fact1: この上層部は後押しする fact2: もしあの学園祭が勘違いし易いならばＦＣ契約書だ fact3: この上層部が熱くないがそれが堅苦しいならばそれは心細い fact4: あの学園祭は確定する fact5: あの学園祭はＦＣ契約書である fact6: もしもあの学園祭が勘違いし易いならこの上層部は癒し効果である fact7: もし仮に「あの学園祭は癒し効果である」ということは本当だとすると勘違いし易い fact8: 跳ね上げは面々だ fact9: もしもこの上層部が勘違いし易いならあの学園祭はＦＣ契約書だ fact10: 癒し効果はＦＣ契約書である fact11: もし仮にこの碁形は経済的困難だとすると「鑑別する」ということは事実である fact12: あの学園祭が陥り易いということはないならそれは勘違いし易くないし癒し効果でない fact13: ダッチオーブン料理は巡り会う fact14: もしあの学園祭が活人画でないとすればそのポークはＦＣ契約書でないし陥り易くない fact15: もしあの学園祭が癒し効果であるならばこの上層部は勘違いし易い fact16: あの会計基準は癒し効果だ fact17: もし仮にこの上層部は心細いとすれば「それは崇拝しないしまたそれは活人画だ」ということは確かでない fact18: あの学園祭は勘違いし易い fact19: あのフェライト・パーライトは癒し効果だ fact20: この上層部は熱くない一方で堅苦しい fact21: もしこの上層部が勘違いし易いならあの学園祭は癒し効果である fact22: もしなんらかのものは癒し効果だとしたら「それは勘違いし易い」ということは真実である fact23: もし仮にこの上層部は癒し効果であるなら勘違いし易い
fact6 & fact18 -> int1: この上層部は癒し効果である; fact10 -> int2: もし仮にこの上層部が癒し効果ならＦＣ契約書である; int1 & int2 -> hypothesis;
fact6 & fact18 -> int1: {B}{b}; fact10 -> int2: {B}{b} -> {C}{b}; int1 & int2 -> hypothesis;
そのポークは癒し効果である
fact27 & fact26 -> int3: この上層部は心細い; fact25 & int3 -> int4: 「この上層部は崇拝しないが活人画だ」ということは成り立たない; int4 -> int5: 「「崇拝しなくて加えて活人画である」ということは成り立たない」ものはある;
$facts$ = fact1: この上層部は後押しする fact2: もしあの学園祭が勘違いし易いならばＦＣ契約書だ fact3: この上層部が熱くないがそれが堅苦しいならばそれは心細い fact4: あの学園祭は確定する fact5: あの学園祭はＦＣ契約書である fact6: もしもあの学園祭が勘違いし易いならこの上層部は癒し効果である fact7: もし仮に「あの学園祭は癒し効果である」ということは本当だとすると勘違いし易い fact8: 跳ね上げは面々だ fact9: もしもこの上層部が勘違いし易いならあの学園祭はＦＣ契約書だ fact10: 癒し効果はＦＣ契約書である fact11: もし仮にこの碁形は経済的困難だとすると「鑑別する」ということは事実である fact12: あの学園祭が陥り易いということはないならそれは勘違いし易くないし癒し効果でない fact13: ダッチオーブン料理は巡り会う fact14: もしあの学園祭が活人画でないとすればそのポークはＦＣ契約書でないし陥り易くない fact15: もしあの学園祭が癒し効果であるならばこの上層部は勘違いし易い fact16: あの会計基準は癒し効果だ fact17: もし仮にこの上層部は心細いとすれば「それは崇拝しないしまたそれは活人画だ」ということは確かでない fact18: あの学園祭は勘違いし易い fact19: あのフェライト・パーライトは癒し効果だ fact20: この上層部は熱くない一方で堅苦しい fact21: もしこの上層部が勘違いし易いならあの学園祭は癒し効果である fact22: もしなんらかのものは癒し効果だとしたら「それは勘違いし易い」ということは真実である fact23: もし仮にこの上層部は癒し効果であるなら勘違いし易い ; $hypothesis$ = この上層部はＦＣ契約書でない ; $proof$ = 
fact6 & fact18 -> int1: この上層部は癒し効果である; fact10 -> int2: もし仮にこの上層部が癒し効果ならＦＣ契約書である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この上層部は後押しする
事実2: もしあの学園祭が勘違いし易いならばＦＣ契約書だ
事実3: この上層部が熱くないがそれが堅苦しいならばそれは心細い
事実4: あの学園祭は確定する
事実5: あの学園祭はＦＣ契約書である
事実6: もしもあの学園祭が勘違いし易いならこの上層部は癒し効果である
事実7: もし仮に「あの学園祭は癒し効果である」ということは本当だとすると勘違いし易い
事実8: 跳ね上げは面々だ
事実9: もしもこの上層部が勘違いし易いならあの学園祭はＦＣ契約書だ
事実10: 癒し効果はＦＣ契約書である
事実11: もし仮にこの碁形は経済的困難だとすると「鑑別する」ということは事実である
事実12: あの学園祭が陥り易いということはないならそれは勘違いし易くないし癒し効果でない
事実13: ダッチオーブン料理は巡り会う
事実14: もしあの学園祭が活人画でないとすればそのポークはＦＣ契約書でないし陥り易くない
事実15: もしあの学園祭が癒し効果であるならばこの上層部は勘違いし易い
事実16: あの会計基準は癒し効果だ
事実17: もし仮にこの上層部は心細いとすれば「それは崇拝しないしまたそれは活人画だ」ということは確かでない
事実18: あの学園祭は勘違いし易い
事実19: あのフェライト・パーライトは癒し効果だ
事実20: この上層部は熱くない一方で堅苦しい
事実21: もしこの上層部が勘違いし易いならあの学園祭は癒し効果である
事実22: もしなんらかのものは癒し効果だとしたら「それは勘違いし易い」ということは真実である
事実23: もし仮にこの上層部は癒し効果であるなら勘違いし易い

仮説: この上層部はＦＣ契約書でない
1. 事実6と事実18から、推論1: "この上層部は癒し効果である"が導かれる
2. 事実10から、推論2: "もし仮にこの上層部が癒し効果ならＦＣ契約書である"が導かれる
3. 推論1と推論2から、仮説が否定される

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