あの対象建設工事は脱落しない
fact1: あの対象建設工事は外出先であるとすると指差す fact2: あのネイルは指差す fact3: この文化産業―大衆欺瞞は外出先だ fact4: この文化産業―大衆欺瞞は指差す fact5: あの対象建設工事が外出先であるとするとこの文化産業―大衆欺瞞は脱落する fact6: もしあの対象建設工事が指差すとすればあの文化産業―大衆欺瞞は脱落する fact7: 「この文化産業―大衆欺瞞は脱落する」ということは確かだ fact8: 「あの洋学科は外出先である」ということは本当である fact9: 「仮にこの文化産業―大衆欺瞞が脱落しないけれど指差すとすればあの対象建設工事は脱落するということはない」ということは本当だ fact10: その参陣は指差す fact11: この文化産業―大衆欺瞞が外出先であるならばあの対象建設工事は指差す fact12: あの対象建設工事は指差す fact13: あの対象建設工事は身軽い fact14: もしこの文化産業―大衆欺瞞が指差すならあの対象建設工事は外出先だ fact15: あの重湯は外出先である fact16: もしも「「この文化産業―大衆欺瞞は脱落しないか指差すかあるいは両方だ」ということは成り立つ」ということは成り立たないとしたらあの指輪は脱落する fact17: あの対象建設工事は外出先であるならばそれは脱落する fact18: もし仮にあの対象建設工事は指差すなら「この文化産業―大衆欺瞞は外出先だ」ということは成り立つ fact19: この文化産業―大衆欺瞞は当て付けがましい fact20: 仮にこの文化産業―大衆欺瞞は脱落すれば「あの対象建設工事は指差す」ということは確かである fact21: 仮にこの文化産業―大衆欺瞞が指差せばそれは脱落する
fact14 & fact4 -> int1: あの対象建設工事は外出先である; int1 & fact17 -> hypothesis;
fact14 & fact4 -> int1: {B}{b}; int1 & fact17 -> hypothesis;
あの指輪は脱落する
$facts$ = fact1: あの対象建設工事は外出先であるとすると指差す fact2: あのネイルは指差す fact3: この文化産業―大衆欺瞞は外出先だ fact4: この文化産業―大衆欺瞞は指差す fact5: あの対象建設工事が外出先であるとするとこの文化産業―大衆欺瞞は脱落する fact6: もしあの対象建設工事が指差すとすればあの文化産業―大衆欺瞞は脱落する fact7: 「この文化産業―大衆欺瞞は脱落する」ということは確かだ fact8: 「あの洋学科は外出先である」ということは本当である fact9: 「仮にこの文化産業―大衆欺瞞が脱落しないけれど指差すとすればあの対象建設工事は脱落するということはない」ということは本当だ fact10: その参陣は指差す fact11: この文化産業―大衆欺瞞が外出先であるならばあの対象建設工事は指差す fact12: あの対象建設工事は指差す fact13: あの対象建設工事は身軽い fact14: もしこの文化産業―大衆欺瞞が指差すならあの対象建設工事は外出先だ fact15: あの重湯は外出先である fact16: もしも「「この文化産業―大衆欺瞞は脱落しないか指差すかあるいは両方だ」ということは成り立つ」ということは成り立たないとしたらあの指輪は脱落する fact17: あの対象建設工事は外出先であるならばそれは脱落する fact18: もし仮にあの対象建設工事は指差すなら「この文化産業―大衆欺瞞は外出先だ」ということは成り立つ fact19: この文化産業―大衆欺瞞は当て付けがましい fact20: 仮にこの文化産業―大衆欺瞞は脱落すれば「あの対象建設工事は指差す」ということは確かである fact21: 仮にこの文化産業―大衆欺瞞が指差せばそれは脱落する ; $hypothesis$ = あの対象建設工事は脱落しない ; $proof$ = 
fact14 & fact4 -> int1: あの対象建設工事は外出先である; int1 & fact17 -> hypothesis; __DISPROVED__
事実1: あの対象建設工事は外出先であるとすると指差す
事実2: あのネイルは指差す
事実3: この文化産業―大衆欺瞞は外出先だ
事実4: この文化産業―大衆欺瞞は指差す
事実5: あの対象建設工事が外出先であるとするとこの文化産業―大衆欺瞞は脱落する
事実6: もしあの対象建設工事が指差すとすればあの文化産業―大衆欺瞞は脱落する
事実7: 「この文化産業―大衆欺瞞は脱落する」ということは確かだ
事実8: 「あの洋学科は外出先である」ということは本当である
事実9: 「仮にこの文化産業―大衆欺瞞が脱落しないけれど指差すとすればあの対象建設工事は脱落するということはない」ということは本当だ
事実10: その参陣は指差す
事実11: この文化産業―大衆欺瞞が外出先であるならばあの対象建設工事は指差す
事実12: あの対象建設工事は指差す
事実13: あの対象建設工事は身軽い
事実14: もしこの文化産業―大衆欺瞞が指差すならあの対象建設工事は外出先だ
事実15: あの重湯は外出先である
事実16: もしも「「この文化産業―大衆欺瞞は脱落しないか指差すかあるいは両方だ」ということは成り立つ」ということは成り立たないとしたらあの指輪は脱落する
事実17: あの対象建設工事は外出先であるならばそれは脱落する
事実18: もし仮にあの対象建設工事は指差すなら「この文化産業―大衆欺瞞は外出先だ」ということは成り立つ
事実19: この文化産業―大衆欺瞞は当て付けがましい
事実20: 仮にこの文化産業―大衆欺瞞は脱落すれば「あの対象建設工事は指差す」ということは確かである
事実21: 仮にこの文化産業―大衆欺瞞が指差せばそれは脱落する

仮説: あの対象建設工事は脱落しない
1. 事実14と事実4から、推論1: "あの対象建設工事は外出先である"が導かれる
2. 推論1と事実17から、仮説が否定される

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