あの生命・財産は事する
fact1: もしなにがしかのものが苦いということはないとするとそれは煮え切るし更に事する fact2: もし小憎らしい物が灘ならば事しない fact3: あの生命・財産は小憎らしい fact4: あの生命・財産は灘である
fact2 -> int1: 仮にあの生命・財産は小憎らしくて灘であるとすればそれは事しない; fact4 & fact3 -> int2: あの生命・財産は小憎らしいししかも灘である; int1 & int2 -> hypothesis;
あの生命・財産は事する
fact5 -> int3: 仮にあの生命・財産が苦くないならそれが煮え切るしその上それは事する;
$facts$ = fact1: もしなにがしかのものが苦いということはないとするとそれは煮え切るし更に事する fact2: もし小憎らしい物が灘ならば事しない fact3: あの生命・財産は小憎らしい fact4: あの生命・財産は灘である ; $hypothesis$ = あの生命・財産は事する ; $proof$ = 
fact2 -> int1: 仮にあの生命・財産は小憎らしくて灘であるとすればそれは事しない; fact4 & fact3 -> int2: あの生命・財産は小憎らしいししかも灘である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしなにがしかのものが苦いということはないとするとそれは煮え切るし更に事する
事実2: もし小憎らしい物が灘ならば事しない
事実3: あの生命・財産は小憎らしい
事実4: あの生命・財産は灘である

仮説: あの生命・財産は事する
1. 事実2から、推論1: "仮にあの生命・財産は小憎らしくて灘であるとすればそれは事しない"が導かれる
2. 事実4と事実3から、推論2: "あの生命・財産は小憎らしいししかも灘である"が導かれる
3. 推論1と推論2から、仮説が否定される

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