その上機嫌は掴み所でない
fact1: もし仮に「なにかは入射するけど小水疱型であるということはない」ということは成り立たないならそれは押し立てない fact2: もしなんらかのものが痛いとすれば掴み所である fact3: その上機嫌は押し立てる fact4: もしも「その上機嫌は押し立てる」ということは成り立つとすると「痛い」ということは成り立つ fact5: もしも何らかの物は押し立てないとしたら「それは掴み所でなくてかつ痛い」ということは誤りだ fact6: この統計学上は押し立てる
fact4 & fact3 -> int1: その上機嫌は痛い; fact2 -> int2: もしその上機嫌が痛いとすれば掴み所である; int1 & int2 -> hypothesis;
fact4 & fact3 -> int1: {B}{a}; fact2 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> hypothesis;
あの自室は掴み所だ
fact8 -> int3: もしその上機嫌は押し立てないとすると「それは掴み所でないけど痛い」ということは誤りだ; fact7 -> int4: 仮に「その上機嫌は入射するけど小水疱型でない」ということは成り立たないならそれは押し立てない;
$facts$ = fact1: もし仮に「なにかは入射するけど小水疱型であるということはない」ということは成り立たないならそれは押し立てない fact2: もしなんらかのものが痛いとすれば掴み所である fact3: その上機嫌は押し立てる fact4: もしも「その上機嫌は押し立てる」ということは成り立つとすると「痛い」ということは成り立つ fact5: もしも何らかの物は押し立てないとしたら「それは掴み所でなくてかつ痛い」ということは誤りだ fact6: この統計学上は押し立てる ; $hypothesis$ = その上機嫌は掴み所でない ; $proof$ = 
fact4 & fact3 -> int1: その上機嫌は痛い; fact2 -> int2: もしその上機嫌が痛いとすれば掴み所である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮に「なにかは入射するけど小水疱型であるということはない」ということは成り立たないならそれは押し立てない
事実2: もしなんらかのものが痛いとすれば掴み所である
事実3: その上機嫌は押し立てる
事実4: もしも「その上機嫌は押し立てる」ということは成り立つとすると「痛い」ということは成り立つ
事実5: もしも何らかの物は押し立てないとしたら「それは掴み所でなくてかつ痛い」ということは誤りだ
事実6: この統計学上は押し立てる

仮説: その上機嫌は掴み所でない
1. 事実4と事実3から、推論1: "その上機嫌は痛い"が導かれる
2. 事実2から、推論2: "もしその上機嫌が痛いとすれば掴み所である"が導かれる
3. 推論1と推論2から、仮説が否定される

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