あの中央突破は下ろし易いということはない
fact1: もしも「あの爺さんは下ろし易くてかつ拉ぐ」ということは確かでないならばあの中央突破は下ろし易いということはない fact2: あの爺さんが励起状態だがしかし収蔵庫でないとすれば「それはゲットする」ということは確かである fact3: もしなんらかの物が破砕であるししかもゲットするとしたらあの中央突破は下ろし易い fact4: あの爺さんは破砕であるししかも拉ぐ fact5: この特別待遇はゲットするけれどリンクスでない fact6: 何らかのものは破砕である fact7: あの爺さんは励起状態であるが収蔵庫でない
fact4 -> int1: あの爺さんは破砕である; fact2 & fact7 -> int2: あの爺さんはゲットする; int1 & int2 -> int3: あの爺さんは破砕であるしさらにそれはゲットする; int3 -> int4: 「破砕であるしその上ゲットする」物はある; int4 & fact3 -> hypothesis;
あの中央突破は下ろし易くない
$facts$ = fact1: もしも「あの爺さんは下ろし易くてかつ拉ぐ」ということは確かでないならばあの中央突破は下ろし易いということはない fact2: あの爺さんが励起状態だがしかし収蔵庫でないとすれば「それはゲットする」ということは確かである fact3: もしなんらかの物が破砕であるししかもゲットするとしたらあの中央突破は下ろし易い fact4: あの爺さんは破砕であるししかも拉ぐ fact5: この特別待遇はゲットするけれどリンクスでない fact6: 何らかのものは破砕である fact7: あの爺さんは励起状態であるが収蔵庫でない ; $hypothesis$ = あの中央突破は下ろし易いということはない ; $proof$ = 
fact4 -> int1: あの爺さんは破砕である; fact2 & fact7 -> int2: あの爺さんはゲットする; int1 & int2 -> int3: あの爺さんは破砕であるしさらにそれはゲットする; int3 -> int4: 「破砕であるしその上ゲットする」物はある; int4 & fact3 -> hypothesis; __DISPROVED__
事実1: もしも「あの爺さんは下ろし易くてかつ拉ぐ」ということは確かでないならばあの中央突破は下ろし易いということはない
事実2: あの爺さんが励起状態だがしかし収蔵庫でないとすれば「それはゲットする」ということは確かである
事実3: もしなんらかの物が破砕であるししかもゲットするとしたらあの中央突破は下ろし易い
事実4: あの爺さんは破砕であるししかも拉ぐ
事実5: この特別待遇はゲットするけれどリンクスでない
事実6: 何らかのものは破砕である
事実7: あの爺さんは励起状態であるが収蔵庫でない

仮説: あの中央突破は下ろし易いということはない
1. 事実4から、推論1: "あの爺さんは破砕である"が導かれる
2. 事実2と事実7から、推論2: "あの爺さんはゲットする"が導かれる
3. 推論1と推論2から、推論3: "あの爺さんは破砕であるしさらにそれはゲットする"が導かれる
4. 推論3から、推論4: "「破砕であるしその上ゲットする」物はある"が導かれる
5. 推論4と事実3から、仮説が否定される

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