この感じは集めない
fact1: もし仮にあの座席数は心弱いならば「それは喋り始めないが受け続ける」ということは確かである fact2: もしもあの座席数が受け続けるとすればあの感じは集める fact3: あの座席数は心弱い
fact1 & fact3 -> int1: あの座席数は喋り始めないけど受け続ける; int1 -> int2: あの座席数は受け続ける; int2 & fact2 -> hypothesis;
fact1 & fact3 -> int1: (¬{AA}{a} & {AB}{a}); int1 -> int2: {AB}{a}; int2 & fact2 -> hypothesis;
$facts$ = fact1: もし仮にあの座席数は心弱いならば「それは喋り始めないが受け続ける」ということは確かである fact2: もしもあの座席数が受け続けるとすればあの感じは集める fact3: あの座席数は心弱い ; $hypothesis$ = この感じは集めない ; $proof$ = 
fact1 & fact3 -> int1: あの座席数は喋り始めないけど受け続ける; int1 -> int2: あの座席数は受け続ける; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: もし仮にあの座席数は心弱いならば「それは喋り始めないが受け続ける」ということは確かである
事実2: もしもあの座席数が受け続けるとすればあの感じは集める
事実3: あの座席数は心弱い

仮説: この感じは集めない
1. 事実1と事実3から、推論1: "あの座席数は喋り始めないけど受け続ける"が導かれる
2. 推論1から、推論2: "あの座席数は受け続ける"が導かれる
3. 推論2と事実2から、仮説が否定される

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