この摘出は削減出来るということはない
fact1: もしも「「匂袋であるが汲まない」ということは成り立たない」ものがあるとすればこの摘出は削減出来る fact2: その素材費は洗顔しないとすると「その修景は匂袋である一方でそれは汲まない」ということは成り立たない fact3: その素材費は洗顔するということはない
fact2 & fact3 -> int1: 「その修景は匂袋であるが汲まない」ということは成り立たない; int1 -> int2: 「「匂袋であるし汲まない」ということは成り立つということはない」ものはある; int2 & fact1 -> hypothesis;
$facts$ = fact1: もしも「「匂袋であるが汲まない」ということは成り立たない」ものがあるとすればこの摘出は削減出来る fact2: その素材費は洗顔しないとすると「その修景は匂袋である一方でそれは汲まない」ということは成り立たない fact3: その素材費は洗顔するということはない ; $hypothesis$ = この摘出は削減出来るということはない ; $proof$ = 
fact2 & fact3 -> int1: 「その修景は匂袋であるが汲まない」ということは成り立たない; int1 -> int2: 「「匂袋であるし汲まない」ということは成り立つということはない」ものはある; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: もしも「「匂袋であるが汲まない」ということは成り立たない」ものがあるとすればこの摘出は削減出来る
事実2: その素材費は洗顔しないとすると「その修景は匂袋である一方でそれは汲まない」ということは成り立たない
事実3: その素材費は洗顔するということはない

仮説: この摘出は削減出来るということはない
1. 事実2と事実3から、推論1: "「その修景は匂袋であるが汲まない」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「匂袋であるし汲まない」ということは成り立つということはない」ものはある"が導かれる
3. 推論2と事実1から、仮説が否定される

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