「このタバコ盆は加工し易いかまたはそれはきな臭くないかあるいはどちらもである」ということは本当であるということはない
fact1: 「あのエクスポージャーは禁制品であるけれど共同作戦でない」ということは事実でない fact2: もしも「その貨物海上保険は落札しないが奇襲する」ということは本当でないならばあのエクスポージャーは奇襲する fact3: もしも「あのエクスポージャーは禁制品であるが共同作戦でない」ということは真実でないとすると「それは衆人でない」ということは成り立つ fact4: あの支払い済みは連れ添うかもしくはシャッターボタンである fact5: 「その貨物海上保険は落札しないがしかしそれは奇襲する」ということは誤りである fact6: 仮に何かは衆人でないなら「それは加工し易いかあるいはそれはきな臭くないかまたは両方だ」ということは誤りである fact7: 仮にあるものが滲み始めないかまたはそれが与え易いとするとその通牒はつれなくない fact8: もしもその通牒がつれなくないならばあのエクスポージャーは忌ま忌ましいしまた転売する fact9: 全てのものは滲み始めないかまたはそれは与え易いか両方ともだ fact10: 仮に「衆人だということはない」ものがあるならこのタバコ盆は加工し易いかあるいはそれはきな臭いということはない
fact3 & fact1 -> int1: あのエクスポージャーは衆人でない; int1 -> int2: 「衆人でない」物はある; int2 & fact10 -> hypothesis;
fact3 & fact1 -> int1: ¬{B}{a}; int1 -> int2: (Ex): ¬{B}x; int2 & fact10 -> hypothesis;
「このタバコ盆は加工し易いかまたはそれはきな臭くないか両方ともだ」ということは成り立たない
fact16 -> int3: このタバコ盆は衆人でないとすると「加工し易いかきな臭くない」ということは成り立たない; fact15 -> int4: この獣皮は滲み始めないかあるいはそれは与え易いかもしくは両方ともだ; int4 -> int5: とあるものは滲み始めないか与え易い; int5 & fact14 -> int6: 「その通牒はつれないということはない」ということは事実である; fact12 & int6 -> int7: あのエクスポージャーは忌ま忌ましいし加えて転売する; int7 -> int8: あのエクスポージャーは転売する; fact13 & fact11 -> int9: あのエクスポージャーは奇襲する; int8 & int9 -> int10: あのエクスポージャーは転売するしおまけにそれは奇襲する; int10 -> int11: 「転売するしそれに奇襲する」物はある;
$facts$ = fact1: 「あのエクスポージャーは禁制品であるけれど共同作戦でない」ということは事実でない fact2: もしも「その貨物海上保険は落札しないが奇襲する」ということは本当でないならばあのエクスポージャーは奇襲する fact3: もしも「あのエクスポージャーは禁制品であるが共同作戦でない」ということは真実でないとすると「それは衆人でない」ということは成り立つ fact4: あの支払い済みは連れ添うかもしくはシャッターボタンである fact5: 「その貨物海上保険は落札しないがしかしそれは奇襲する」ということは誤りである fact6: 仮に何かは衆人でないなら「それは加工し易いかあるいはそれはきな臭くないかまたは両方だ」ということは誤りである fact7: 仮にあるものが滲み始めないかまたはそれが与え易いとするとその通牒はつれなくない fact8: もしもその通牒がつれなくないならばあのエクスポージャーは忌ま忌ましいしまた転売する fact9: 全てのものは滲み始めないかまたはそれは与え易いか両方ともだ fact10: 仮に「衆人だということはない」ものがあるならこのタバコ盆は加工し易いかあるいはそれはきな臭いということはない ; $hypothesis$ = 「このタバコ盆は加工し易いかまたはそれはきな臭くないかあるいはどちらもである」ということは本当であるということはない ; $proof$ = 
fact3 & fact1 -> int1: あのエクスポージャーは衆人でない; int1 -> int2: 「衆人でない」物はある; int2 & fact10 -> hypothesis; __DISPROVED__
事実1: 「あのエクスポージャーは禁制品であるけれど共同作戦でない」ということは事実でない
事実2: もしも「その貨物海上保険は落札しないが奇襲する」ということは本当でないならばあのエクスポージャーは奇襲する
事実3: もしも「あのエクスポージャーは禁制品であるが共同作戦でない」ということは真実でないとすると「それは衆人でない」ということは成り立つ
事実4: あの支払い済みは連れ添うかもしくはシャッターボタンである
事実5: 「その貨物海上保険は落札しないがしかしそれは奇襲する」ということは誤りである
事実6: 仮に何かは衆人でないなら「それは加工し易いかあるいはそれはきな臭くないかまたは両方だ」ということは誤りである
事実7: 仮にあるものが滲み始めないかまたはそれが与え易いとするとその通牒はつれなくない
事実8: もしもその通牒がつれなくないならばあのエクスポージャーは忌ま忌ましいしまた転売する
事実9: 全てのものは滲み始めないかまたはそれは与え易いか両方ともだ
事実10: 仮に「衆人だということはない」ものがあるならこのタバコ盆は加工し易いかあるいはそれはきな臭いということはない

仮説: 「このタバコ盆は加工し易いかまたはそれはきな臭くないかあるいはどちらもである」ということは本当であるということはない
1. 事実3と事実1から、推論1: "あのエクスポージャーは衆人でない"が導かれる
2. 推論1から、推論2: "「衆人でない」物はある"が導かれる
3. 推論2と事実10から、仮説が否定される

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