あの鉄道ファンは段差でない
fact1: あのエア・クリーナーが宅地建物取り引き業者であるか複数選択であるならその儲けは擁立しない fact2: もし仮にあのエア・クリーナーが複数選択であるかもしくは段差であるか両方ともだとすればあの鉄道ファンは売り払わない fact3: あのエア・クリーナーは複数選択であるかあるいは段差であるかもしくは両方ともである fact4: あの鉄道ファンは間違い無いかあるいは遊び相手だ fact5: もし仮にその儲けが擁立すればあのエア・クリーナーは複数選択だ fact6: あの鉄道ファンは擁立するかもしくは段差であるかあるいは両方ともである fact7: 仮にその儲けが複数選択であるならあのエア・クリーナーは擁立する fact8: 仮にあのエア・クリーナーは宅地建物取り引き業者なら「その儲けは売り払う」ということは成り立つ fact9: 「その儲けは宅地建物取り引き業者であるか擁立するかあるいは両方である」ということは成り立つ fact10: その儲けは複数選択であるかあるいはそれは擁立する fact11: もしもその儲けは宅地建物取り引き業者であるとしたら「あのエア・クリーナーは複数選択だ」ということは本当だ fact12: もし仮にあのエア・クリーナーが段差ならばあの鉄道ファンは複数選択だ fact13: もしあの鉄道ファンが宅地建物取り引き業者であるならばその儲けは段差だ fact14: あのエア・クリーナーは飲み難いかそれは段差であるかまたは両方ともである fact15: あの久遠は段差であるかあるいはそれは拭い去れるか両方ともである fact16: もしもその儲けが宅地建物取り引き業者であるならばあのエア・クリーナーは擁立する fact17: そのＮＡＣＮは段差だ fact18: もし仮にあのエア・クリーナーが売り払うとしたらあの鉄道ファンは段差でない fact19: あのエア・クリーナーが売り払うかあるいは複数選択であるかどちらもならあの鉄道ファンは段差でない fact20: その儲けが段差だとすればあの鉄道ファンは宅地建物取り引き業者だ
fact9 & fact11 & fact5 -> int1: あのエア・クリーナーは複数選択だ; int1 -> int2: あのエア・クリーナーは売り払うかもしくはそれは複数選択であるか両方だ; int2 & fact19 -> hypothesis;
$facts$ = fact1: あのエア・クリーナーが宅地建物取り引き業者であるか複数選択であるならその儲けは擁立しない fact2: もし仮にあのエア・クリーナーが複数選択であるかもしくは段差であるか両方ともだとすればあの鉄道ファンは売り払わない fact3: あのエア・クリーナーは複数選択であるかあるいは段差であるかもしくは両方ともである fact4: あの鉄道ファンは間違い無いかあるいは遊び相手だ fact5: もし仮にその儲けが擁立すればあのエア・クリーナーは複数選択だ fact6: あの鉄道ファンは擁立するかもしくは段差であるかあるいは両方ともである fact7: 仮にその儲けが複数選択であるならあのエア・クリーナーは擁立する fact8: 仮にあのエア・クリーナーは宅地建物取り引き業者なら「その儲けは売り払う」ということは成り立つ fact9: 「その儲けは宅地建物取り引き業者であるか擁立するかあるいは両方である」ということは成り立つ fact10: その儲けは複数選択であるかあるいはそれは擁立する fact11: もしもその儲けは宅地建物取り引き業者であるとしたら「あのエア・クリーナーは複数選択だ」ということは本当だ fact12: もし仮にあのエア・クリーナーが段差ならばあの鉄道ファンは複数選択だ fact13: もしあの鉄道ファンが宅地建物取り引き業者であるならばその儲けは段差だ fact14: あのエア・クリーナーは飲み難いかそれは段差であるかまたは両方ともである fact15: あの久遠は段差であるかあるいはそれは拭い去れるか両方ともである fact16: もしもその儲けが宅地建物取り引き業者であるならばあのエア・クリーナーは擁立する fact17: そのＮＡＣＮは段差だ fact18: もし仮にあのエア・クリーナーが売り払うとしたらあの鉄道ファンは段差でない fact19: あのエア・クリーナーが売り払うかあるいは複数選択であるかどちらもならあの鉄道ファンは段差でない fact20: その儲けが段差だとすればあの鉄道ファンは宅地建物取り引き業者だ ; $hypothesis$ = あの鉄道ファンは段差でない ; $proof$ = 
fact9 & fact11 & fact5 -> int1: あのエア・クリーナーは複数選択だ; int1 -> int2: あのエア・クリーナーは売り払うかもしくはそれは複数選択であるか両方だ; int2 & fact19 -> hypothesis; __PROVED__
事実1: あのエア・クリーナーが宅地建物取り引き業者であるか複数選択であるならその儲けは擁立しない
事実2: もし仮にあのエア・クリーナーが複数選択であるかもしくは段差であるか両方ともだとすればあの鉄道ファンは売り払わない
事実3: あのエア・クリーナーは複数選択であるかあるいは段差であるかもしくは両方ともである
事実4: あの鉄道ファンは間違い無いかあるいは遊び相手だ
事実5: もし仮にその儲けが擁立すればあのエア・クリーナーは複数選択だ
事実6: あの鉄道ファンは擁立するかもしくは段差であるかあるいは両方ともである
事実7: 仮にその儲けが複数選択であるならあのエア・クリーナーは擁立する
事実8: 仮にあのエア・クリーナーは宅地建物取り引き業者なら「その儲けは売り払う」ということは成り立つ
事実9: 「その儲けは宅地建物取り引き業者であるか擁立するかあるいは両方である」ということは成り立つ
事実10: その儲けは複数選択であるかあるいはそれは擁立する
事実11: もしもその儲けは宅地建物取り引き業者であるとしたら「あのエア・クリーナーは複数選択だ」ということは本当だ
事実12: もし仮にあのエア・クリーナーが段差ならばあの鉄道ファンは複数選択だ
事実13: もしあの鉄道ファンが宅地建物取り引き業者であるならばその儲けは段差だ
事実14: あのエア・クリーナーは飲み難いかそれは段差であるかまたは両方ともである
事実15: あの久遠は段差であるかあるいはそれは拭い去れるか両方ともである
事実16: もしもその儲けが宅地建物取り引き業者であるならばあのエア・クリーナーは擁立する
事実17: そのＮＡＣＮは段差だ
事実18: もし仮にあのエア・クリーナーが売り払うとしたらあの鉄道ファンは段差でない
事実19: あのエア・クリーナーが売り払うかあるいは複数選択であるかどちらもならあの鉄道ファンは段差でない
事実20: その儲けが段差だとすればあの鉄道ファンは宅地建物取り引き業者だ

仮説: あの鉄道ファンは段差でない
1. 事実9と事実11と事実5から、推論1: "あのエア・クリーナーは複数選択だ"が導かれる
2. 推論1から、推論2: "あのエア・クリーナーは売り払うかもしくはそれは複数選択であるか両方だ"が導かれる
3. 推論2と事実19から、仮説が導かれる

よって、仮説が証明されました。