「この生ワクチンは腹立たしくらない」ということは事実と異ならない
fact1: 「この生ワクチンは学校経営であるけれどＭ字型でない」ということは確かでない fact2: もし仮になにがしかの物が塩っ辛いということはないならばそれは腹立たしい fact3: もし仮に「この生ワクチンは学校経営だ一方でＭ字型でない」ということは成り立たないなら塩っ辛くない fact4: もしも「この生ワクチンは学校経営でない」ということは確かだとすると塩っ辛いということはない fact5: もしも何かはＭ字型でないとすると学校経営である
fact2 -> int1: この生ワクチンが塩っ辛くないとしたら腹立たしい; fact3 & fact1 -> int2: この生ワクチンは塩っ辛くない; int1 & int2 -> hypothesis;
fact2 -> int1: ¬{B}{aa} -> {C}{aa}; fact3 & fact1 -> int2: ¬{B}{aa}; int1 & int2 -> hypothesis;
$facts$ = fact1: 「この生ワクチンは学校経営であるけれどＭ字型でない」ということは確かでない fact2: もし仮になにがしかの物が塩っ辛いということはないならばそれは腹立たしい fact3: もし仮に「この生ワクチンは学校経営だ一方でＭ字型でない」ということは成り立たないなら塩っ辛くない fact4: もしも「この生ワクチンは学校経営でない」ということは確かだとすると塩っ辛いということはない fact5: もしも何かはＭ字型でないとすると学校経営である ; $hypothesis$ = 「この生ワクチンは腹立たしくらない」ということは事実と異ならない ; $proof$ = 
fact2 -> int1: この生ワクチンが塩っ辛くないとしたら腹立たしい; fact3 & fact1 -> int2: この生ワクチンは塩っ辛くない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「この生ワクチンは学校経営であるけれどＭ字型でない」ということは確かでない
事実2: もし仮になにがしかの物が塩っ辛いということはないならばそれは腹立たしい
事実3: もし仮に「この生ワクチンは学校経営だ一方でＭ字型でない」ということは成り立たないなら塩っ辛くない
事実4: もしも「この生ワクチンは学校経営でない」ということは確かだとすると塩っ辛いということはない
事実5: もしも何かはＭ字型でないとすると学校経営である

仮説: 「この生ワクチンは腹立たしくらない」ということは事実と異ならない
1. 事実2から、推論1: "この生ワクチンが塩っ辛くないとしたら腹立たしい"が導かれる
2. 事実3と事実1から、推論2: "この生ワクチンは塩っ辛くない"が導かれる
3. 推論1と推論2から、仮説が否定される

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