このセルＢは脅迫者である
fact1: もし仮に「なんらかの物は布陣しないかまたは買い受け人であるかまたは両方だ」ということは事実ならば「取得しない」ということは本当だ fact2: その無感覚は小売り部門である fact3: このセルＢは取得しない fact4: この病気見舞いは脅迫者だ fact5: あの電気事業者は小売り部門である fact6: なにかは小売り部門であるし加えて取得するとすればこのセルＢは脅迫者でない fact7: この生理食塩液は取得する fact8: あの労務者が宅地造成地だししかもそれは常連らしい fact9: その無感覚は巨大事故である fact10: もし仮に「取得するし加えて脅迫者な」物があるならばあの無感覚は小売り部門でない fact11: 「小売り部門でしかも脅迫者な」物はある fact12: なにかは取得する fact13: あのリキャップは取得する fact14: その無感覚は取得する fact15: その無感覚は寒い fact16: その無感覚は脅迫者でない fact17: その無感覚は方位角であるししどけない fact18: 「小売り部門である」物はある fact19: このセルＢは吹き易い
fact2 & fact14 -> int1: その無感覚は小売り部門だしまた取得する; int1 -> int2: 何らかの物は小売り部門であるしかつそれは取得する; int2 & fact6 -> hypothesis;
fact2 & fact14 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact6 -> hypothesis;
このセルＢは脅迫者だ
fact20 -> int3: 「このセルＢは布陣しないか買い受け人であるかあるいは両方ともである」ということは確かなら取得しない;
$facts$ = fact1: もし仮に「なんらかの物は布陣しないかまたは買い受け人であるかまたは両方だ」ということは事実ならば「取得しない」ということは本当だ fact2: その無感覚は小売り部門である fact3: このセルＢは取得しない fact4: この病気見舞いは脅迫者だ fact5: あの電気事業者は小売り部門である fact6: なにかは小売り部門であるし加えて取得するとすればこのセルＢは脅迫者でない fact7: この生理食塩液は取得する fact8: あの労務者が宅地造成地だししかもそれは常連らしい fact9: その無感覚は巨大事故である fact10: もし仮に「取得するし加えて脅迫者な」物があるならばあの無感覚は小売り部門でない fact11: 「小売り部門でしかも脅迫者な」物はある fact12: なにかは取得する fact13: あのリキャップは取得する fact14: その無感覚は取得する fact15: その無感覚は寒い fact16: その無感覚は脅迫者でない fact17: その無感覚は方位角であるししどけない fact18: 「小売り部門である」物はある fact19: このセルＢは吹き易い ; $hypothesis$ = このセルＢは脅迫者である ; $proof$ = 
fact2 & fact14 -> int1: その無感覚は小売り部門だしまた取得する; int1 -> int2: 何らかの物は小売り部門であるしかつそれは取得する; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: もし仮に「なんらかの物は布陣しないかまたは買い受け人であるかまたは両方だ」ということは事実ならば「取得しない」ということは本当だ
事実2: その無感覚は小売り部門である
事実3: このセルＢは取得しない
事実4: この病気見舞いは脅迫者だ
事実5: あの電気事業者は小売り部門である
事実6: なにかは小売り部門であるし加えて取得するとすればこのセルＢは脅迫者でない
事実7: この生理食塩液は取得する
事実8: あの労務者が宅地造成地だししかもそれは常連らしい
事実9: その無感覚は巨大事故である
事実10: もし仮に「取得するし加えて脅迫者な」物があるならばあの無感覚は小売り部門でない
事実11: 「小売り部門でしかも脅迫者な」物はある
事実12: なにかは取得する
事実13: あのリキャップは取得する
事実14: その無感覚は取得する
事実15: その無感覚は寒い
事実16: その無感覚は脅迫者でない
事実17: その無感覚は方位角であるししどけない
事実18: 「小売り部門である」物はある
事実19: このセルＢは吹き易い

仮説: このセルＢは脅迫者である
1. 事実2と事実14から、推論1: "その無感覚は小売り部門だしまた取得する"が導かれる
2. 推論1から、推論2: "何らかの物は小売り部門であるしかつそれは取得する"が導かれる
3. 推論2と事実6から、仮説が否定される

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