「あのココナツ課徴金は視姦するか小額であるか両方である」ということは事実と異なる
fact1: その寡占市場はフェンシングでない fact2: 「その分掌はフェンシングでないかまたは切り盛りしないか両方だ」ということは誤りである fact3: あのココナツ課徴金はフェンシングでないとすると「「その分掌は視姦するかフェンシングであるかあるいは両方ともである」ということは偽だということはない」ということは偽だ fact4: なにかは小額であるならば「視姦しないかまたは青しない」ということは成り立たない fact5: 「あの同義性は危なくないかあるいはそれは小額でない」ということは間違っている fact6: 「「その称え言は飼料給与でないかもしくは小額でないかまたは両方である」ということは真実だ」ということは本当でない fact7: 「「フェンシングでないか切り盛りするかまたは両方ともである」ということは真実でない」物はある fact8: 「フェンシングでないかまたは小額でないかもしくはどちらもである」ものはある fact9: 「その分掌はフェンシングだ」ということは本当である fact10: 「気管支拡張薬な」ものはある fact11: 「「視姦するかまたは切り盛りしないかまたは両方である」ということは成り立つということはない」ものがあるとすればその分掌は小額でない fact12: あるものがさらっとするとすればそれは視姦する fact13: その原稿料は小額でない fact14: 「その分掌は精桿であるか小額であるかまたは両方だ」ということは誤りだ fact15: もしもその寡占市場は小額でないとしたら「あのココナツ課徴金は視姦するかまたはそれは小額だ」ということは嘘である fact16: 「「小額であるかもしくは視姦しないかもしくは両方ともである」ということは成り立つということはない」ものがあるとしたらその分掌はフェンシングでない fact17: あのココナツ課徴金は切り盛りしない fact18: その分掌は視姦するということはない fact19: 「小額でないかもしくはフェンシングであるということはないかまたは両方である」ものはある fact20: もし仮に「「フェンシングでないかまたは切り盛りしないかもしくは両方だ」ということは誤っている」ものがあるとすればその寡占市場は小額でない fact21: あのココナツ課徴金は憎たらしくない
fact2 -> int1: 「「「フェンシングでないかまたは切り盛りするということはない」ということは真実である」ということは誤っている」物はある; int1 & fact20 -> int2: その寡占市場は小額でない; int2 & fact15 -> hypothesis;
「その経営上は視姦しないかまたは青しない」ということは成り立たない
fact22 -> int3: もしもその経営上は小額であるとすれば「それは視姦するということはないかもしくはそれは青しということはないかまたはどちらもである」ということは誤りだ;
$facts$ = fact1: その寡占市場はフェンシングでない fact2: 「その分掌はフェンシングでないかまたは切り盛りしないか両方だ」ということは誤りである fact3: あのココナツ課徴金はフェンシングでないとすると「「その分掌は視姦するかフェンシングであるかあるいは両方ともである」ということは偽だということはない」ということは偽だ fact4: なにかは小額であるならば「視姦しないかまたは青しない」ということは成り立たない fact5: 「あの同義性は危なくないかあるいはそれは小額でない」ということは間違っている fact6: 「「その称え言は飼料給与でないかもしくは小額でないかまたは両方である」ということは真実だ」ということは本当でない fact7: 「「フェンシングでないか切り盛りするかまたは両方ともである」ということは真実でない」物はある fact8: 「フェンシングでないかまたは小額でないかもしくはどちらもである」ものはある fact9: 「その分掌はフェンシングだ」ということは本当である fact10: 「気管支拡張薬な」ものはある fact11: 「「視姦するかまたは切り盛りしないかまたは両方である」ということは成り立つということはない」ものがあるとすればその分掌は小額でない fact12: あるものがさらっとするとすればそれは視姦する fact13: その原稿料は小額でない fact14: 「その分掌は精桿であるか小額であるかまたは両方だ」ということは誤りだ fact15: もしもその寡占市場は小額でないとしたら「あのココナツ課徴金は視姦するかまたはそれは小額だ」ということは嘘である fact16: 「「小額であるかもしくは視姦しないかもしくは両方ともである」ということは成り立つということはない」ものがあるとしたらその分掌はフェンシングでない fact17: あのココナツ課徴金は切り盛りしない fact18: その分掌は視姦するということはない fact19: 「小額でないかもしくはフェンシングであるということはないかまたは両方である」ものはある fact20: もし仮に「「フェンシングでないかまたは切り盛りしないかもしくは両方だ」ということは誤っている」ものがあるとすればその寡占市場は小額でない fact21: あのココナツ課徴金は憎たらしくない ; $hypothesis$ = 「あのココナツ課徴金は視姦するか小額であるか両方である」ということは事実と異なる ; $proof$ = 
fact2 -> int1: 「「「フェンシングでないかまたは切り盛りするということはない」ということは真実である」ということは誤っている」物はある; int1 & fact20 -> int2: その寡占市場は小額でない; int2 & fact15 -> hypothesis; __PROVED__
事実1: その寡占市場はフェンシングでない
事実2: 「その分掌はフェンシングでないかまたは切り盛りしないか両方だ」ということは誤りである
事実3: あのココナツ課徴金はフェンシングでないとすると「「その分掌は視姦するかフェンシングであるかあるいは両方ともである」ということは偽だということはない」ということは偽だ
事実4: なにかは小額であるならば「視姦しないかまたは青しない」ということは成り立たない
事実5: 「あの同義性は危なくないかあるいはそれは小額でない」ということは間違っている
事実6: 「「その称え言は飼料給与でないかもしくは小額でないかまたは両方である」ということは真実だ」ということは本当でない
事実7: 「「フェンシングでないか切り盛りするかまたは両方ともである」ということは真実でない」物はある
事実8: 「フェンシングでないかまたは小額でないかもしくはどちらもである」ものはある
事実9: 「その分掌はフェンシングだ」ということは本当である
事実10: 「気管支拡張薬な」ものはある
事実11: 「「視姦するかまたは切り盛りしないかまたは両方である」ということは成り立つということはない」ものがあるとすればその分掌は小額でない
事実12: あるものがさらっとするとすればそれは視姦する
事実13: その原稿料は小額でない
事実14: 「その分掌は精桿であるか小額であるかまたは両方だ」ということは誤りだ
事実15: もしもその寡占市場は小額でないとしたら「あのココナツ課徴金は視姦するかまたはそれは小額だ」ということは嘘である
事実16: 「「小額であるかもしくは視姦しないかもしくは両方ともである」ということは成り立つということはない」ものがあるとしたらその分掌はフェンシングでない
事実17: あのココナツ課徴金は切り盛りしない
事実18: その分掌は視姦するということはない
事実19: 「小額でないかもしくはフェンシングであるということはないかまたは両方である」ものはある
事実20: もし仮に「「フェンシングでないかまたは切り盛りしないかもしくは両方だ」ということは誤っている」ものがあるとすればその寡占市場は小額でない
事実21: あのココナツ課徴金は憎たらしくない

仮説: 「あのココナツ課徴金は視姦するか小額であるか両方である」ということは事実と異なる
1. 事実2から、推論1: "「「「フェンシングでないかまたは切り盛りするということはない」ということは真実である」ということは誤っている」物はある"が導かれる
2. 推論1と事実20から、推論2: "その寡占市場は小額でない"が導かれる
3. 推論2と事実15から、仮説が導かれる

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