このさつま揚げは債券価値でなくてしかもそれはシェフネッケル一家でない
fact1: もしあの中傷はシェフネッケル一家であるとすると「このさつま揚げは顕在化し易くないしかつ開園しない」ということは成り立たない fact2: あの中傷は顕在化し易いしその上フィンガー・パームする fact3: あの中傷がフィンガー・パームするなら開園する fact4: もしあの中傷は開園すれば「このさつま揚げは債券価値でないし加えてシェフネッケル一家でない」ということは誤っている
fact2 -> int1: 「あの中傷はフィンガー・パームする」ということは嘘でない; int1 & fact3 -> int2: あの中傷は開園する; int2 & fact4 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact4 -> hypothesis;
$facts$ = fact1: もしあの中傷はシェフネッケル一家であるとすると「このさつま揚げは顕在化し易くないしかつ開園しない」ということは成り立たない fact2: あの中傷は顕在化し易いしその上フィンガー・パームする fact3: あの中傷がフィンガー・パームするなら開園する fact4: もしあの中傷は開園すれば「このさつま揚げは債券価値でないし加えてシェフネッケル一家でない」ということは誤っている ; $hypothesis$ = このさつま揚げは債券価値でなくてしかもそれはシェフネッケル一家でない ; $proof$ = 
fact2 -> int1: 「あの中傷はフィンガー・パームする」ということは嘘でない; int1 & fact3 -> int2: あの中傷は開園する; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: もしあの中傷はシェフネッケル一家であるとすると「このさつま揚げは顕在化し易くないしかつ開園しない」ということは成り立たない
事実2: あの中傷は顕在化し易いしその上フィンガー・パームする
事実3: あの中傷がフィンガー・パームするなら開園する
事実4: もしあの中傷は開園すれば「このさつま揚げは債券価値でないし加えてシェフネッケル一家でない」ということは誤っている

仮説: このさつま揚げは債券価値でなくてしかもそれはシェフネッケル一家でない
1. 事実2から、推論1: "「あの中傷はフィンガー・パームする」ということは嘘でない"が導かれる
2. 推論1と事実3から、推論2: "あの中傷は開園する"が導かれる
3. 推論2と事実4から、仮説が否定される

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