そのジェラシーは植え付けない
fact1: もし「この幸は出し尽くす」ということは成り立つとしたらそのジェラシーは植え付ける fact2: あの破産等が心深しとしたらこの幸は出し尽くす fact3: 「あの破産等は心深し」ということは真実だ
fact2 & fact3 -> int1: この幸は出し尽くす; int1 & fact1 -> hypothesis;
fact2 & fact3 -> int1: {B}{b}; int1 & fact1 -> hypothesis;
$facts$ = fact1: もし「この幸は出し尽くす」ということは成り立つとしたらそのジェラシーは植え付ける fact2: あの破産等が心深しとしたらこの幸は出し尽くす fact3: 「あの破産等は心深し」ということは真実だ ; $hypothesis$ = そのジェラシーは植え付けない ; $proof$ = 
fact2 & fact3 -> int1: この幸は出し尽くす; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もし「この幸は出し尽くす」ということは成り立つとしたらそのジェラシーは植え付ける
事実2: あの破産等が心深しとしたらこの幸は出し尽くす
事実3: 「あの破産等は心深し」ということは真実だ

仮説: そのジェラシーは植え付けない
1. 事実2と事実3から、推論1: "この幸は出し尽くす"が導かれる
2. 推論1と事実1から、仮説が否定される

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