「「もし仮に嫉妬しないとしたら「「二つ以上でないかまたはＭＣでないか両方だ」ということは確かである」ということは事実と異なる」ものはある」ということは成り立つということはない
fact1: 「もしも嫉妬しないとすると「二つ以上であるかＭＣでないかあるいは両方ともだ」ということは嘘な」ものはある fact2: もしこの保護者負担が嫉妬しないとしたらそれは二つ以上でないかもしくはＭＣでないかまたは両方である fact3: もし仮にこの保護者負担は嫉妬するとすれば「それは二つ以上でないかあるいはそれはＭＣでない」ということは嘘である fact4: 「もし嫉妬しないとすればＭＣな」物はある fact5: もしもこの保護者負担は嫉妬するということはないなら「それは二つ以上でないかまたはそれはＭＣである」ということは事実と異なる fact6: 「仮に嫉妬すれば「二つ以上でないかＭＣでないかもしくは両方ともである」ということは事実と異なる」ものはある fact7: もし仮になにかは暴露しないとすれば「それはぶっとかないかもしくはそれは印象深くないかもしくはどちらもである」ということは成り立たない fact8: この保護者負担が嫉妬しないとすると二つ以上である fact9: 「嫉妬しないならば二つ以上な」ものはある fact10: 「「もし仮に嫉妬しないとしたら二つ以上でないかあるいはＭＣでないかもしくは両方ともである」物はある」ということは真実である fact11: もしもこの保護者負担は嫉妬しないならば「二つ以上だということはないかもしくはＭＣでないかあるいは両方ともだ」ということは嘘だ
fact11 -> hypothesis;
「もし暴露しないならば「ぶっとかないかあるいは印象深いということはないかあるいは両方ともだ」ということは正しくない」ものはある
fact12 -> int1: もし「あの検査部門は暴露しない」ということは正しいとすれば「「それはぶっといということはないかまたはそれは印象深くない」ということは本当だ」ということは事実と異なる; int1 -> hypothesis;
$facts$ = fact1: 「もしも嫉妬しないとすると「二つ以上であるかＭＣでないかあるいは両方ともだ」ということは嘘な」ものはある fact2: もしこの保護者負担が嫉妬しないとしたらそれは二つ以上でないかもしくはＭＣでないかまたは両方である fact3: もし仮にこの保護者負担は嫉妬するとすれば「それは二つ以上でないかあるいはそれはＭＣでない」ということは嘘である fact4: 「もし嫉妬しないとすればＭＣな」物はある fact5: もしもこの保護者負担は嫉妬するということはないなら「それは二つ以上でないかまたはそれはＭＣである」ということは事実と異なる fact6: 「仮に嫉妬すれば「二つ以上でないかＭＣでないかもしくは両方ともである」ということは事実と異なる」ものはある fact7: もし仮になにかは暴露しないとすれば「それはぶっとかないかもしくはそれは印象深くないかもしくはどちらもである」ということは成り立たない fact8: この保護者負担が嫉妬しないとすると二つ以上である fact9: 「嫉妬しないならば二つ以上な」ものはある fact10: 「「もし仮に嫉妬しないとしたら二つ以上でないかあるいはＭＣでないかもしくは両方ともである」物はある」ということは真実である fact11: もしもこの保護者負担は嫉妬しないならば「二つ以上だということはないかもしくはＭＣでないかあるいは両方ともだ」ということは嘘だ ; $hypothesis$ = 「「もし仮に嫉妬しないとしたら「「二つ以上でないかまたはＭＣでないか両方だ」ということは確かである」ということは事実と異なる」ものはある」ということは成り立つということはない ; $proof$ = 
fact11 -> hypothesis; __DISPROVED__
事実1: 「もしも嫉妬しないとすると「二つ以上であるかＭＣでないかあるいは両方ともだ」ということは嘘な」ものはある
事実2: もしこの保護者負担が嫉妬しないとしたらそれは二つ以上でないかもしくはＭＣでないかまたは両方である
事実3: もし仮にこの保護者負担は嫉妬するとすれば「それは二つ以上でないかあるいはそれはＭＣでない」ということは嘘である
事実4: 「もし嫉妬しないとすればＭＣな」物はある
事実5: もしもこの保護者負担は嫉妬するということはないなら「それは二つ以上でないかまたはそれはＭＣである」ということは事実と異なる
事実6: 「仮に嫉妬すれば「二つ以上でないかＭＣでないかもしくは両方ともである」ということは事実と異なる」ものはある
事実7: もし仮になにかは暴露しないとすれば「それはぶっとかないかもしくはそれは印象深くないかもしくはどちらもである」ということは成り立たない
事実8: この保護者負担が嫉妬しないとすると二つ以上である
事実9: 「嫉妬しないならば二つ以上な」ものはある
事実10: 「「もし仮に嫉妬しないとしたら二つ以上でないかあるいはＭＣでないかもしくは両方ともである」物はある」ということは真実である
事実11: もしもこの保護者負担は嫉妬しないならば「二つ以上だということはないかもしくはＭＣでないかあるいは両方ともだ」ということは嘘だ

仮説: 「「もし仮に嫉妬しないとしたら「「二つ以上でないかまたはＭＣでないか両方だ」ということは確かである」ということは事実と異なる」ものはある」ということは成り立つということはない
1. 事実11から、仮説が否定される

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