その用益権は抽送する
fact1: もしもなにがしかのものが高ぶるということはないししかも押し掛けないならその用益権は抽送する fact2: とあるものは抽送するということはない fact3: あのペニシリンは押し掛けるということはない fact4: あの金属製は高ぶるということはない fact5: 「白木屋さんでない」物はある fact6: 仮に「ある物は反らす」ということは真実だとするとそれは押し掛けるかあるいは高ぶらない fact7: この社会的背景は押し掛けるということはない fact8: あのペニシリンは高ぶるということはない
fact8 & fact3 -> int1: あのペニシリンは高ぶるということはないし押し掛けない; int1 -> int2: なんらかのものは高ぶらないし押し掛けない; int2 & fact1 -> hypothesis;
fact8 & fact3 -> int1: (¬{A}{a} & ¬{B}{a}); int1 -> int2: (Ex): (¬{A}x & ¬{B}x); int2 & fact1 -> hypothesis;
「その用益権は抽送しない」ということは正しい
fact9 -> int3: 仮にあのペニシリンが反らせば押し掛けるかあるいは高ぶらないかまたは両方である;
$facts$ = fact1: もしもなにがしかのものが高ぶるということはないししかも押し掛けないならその用益権は抽送する fact2: とあるものは抽送するということはない fact3: あのペニシリンは押し掛けるということはない fact4: あの金属製は高ぶるということはない fact5: 「白木屋さんでない」物はある fact6: 仮に「ある物は反らす」ということは真実だとするとそれは押し掛けるかあるいは高ぶらない fact7: この社会的背景は押し掛けるということはない fact8: あのペニシリンは高ぶるということはない ; $hypothesis$ = その用益権は抽送する ; $proof$ = 
fact8 & fact3 -> int1: あのペニシリンは高ぶるということはないし押し掛けない; int1 -> int2: なんらかのものは高ぶらないし押し掛けない; int2 & fact1 -> hypothesis; __PROVED__
事実1: もしもなにがしかのものが高ぶるということはないししかも押し掛けないならその用益権は抽送する
事実2: とあるものは抽送するということはない
事実3: あのペニシリンは押し掛けるということはない
事実4: あの金属製は高ぶるということはない
事実5: 「白木屋さんでない」物はある
事実6: 仮に「ある物は反らす」ということは真実だとするとそれは押し掛けるかあるいは高ぶらない
事実7: この社会的背景は押し掛けるということはない
事実8: あのペニシリンは高ぶるということはない

仮説: その用益権は抽送する
1. 事実8と事実3から、推論1: "あのペニシリンは高ぶるということはないし押し掛けない"が導かれる
2. 推論1から、推論2: "なんらかのものは高ぶらないし押し掛けない"が導かれる
3. 推論2と事実1から、仮説が導かれる

よって、仮説が証明されました。