そのトリックは中国思想でない
fact1: 「その自民党本部は切り始めないけど誇りっぽい」ということは本当でない fact2: 仮に「その無限倍率は中国思想であるかまたは寵愛するかまたは両方だ」ということは本当でないならばあの短期資金は中国思想でない fact3: その空間像は寵愛しない fact4: 「その無限倍率は苦しない」ということは事実である fact5: もしある物は騙され易いということはないとすると「中国思想であるかあるいは寵愛するかあるいはどちらもである」ということは事実と異なる fact6: その無限倍率は寵愛しないとすると「そのトリックは用い易くないしそれは大集合であるということはない」ということは成り立つということはない fact7: もし仮にその無限倍率が中国思想でないかもしくは寵愛するかあるいは両方であるとすればそのトリックは中国思想である fact8: もしもその無限倍率は用い易くないならば「そのトリックは寵愛する一方でそれは中国思想だということはない」ということは成り立たない fact9: その無限倍率は寵愛しない fact10: 「なんらかの物は用い易くないしそれは大集合でない」ということは偽だとすると「それは中国思想でない」ということは成り立つ
fact6 & fact9 -> int1: 「そのトリックは用い易くないしまた大集合でない」ということは偽だ; fact10 -> int2: もし仮に「そのトリックは用い易くないし大集合でない」ということは成り立たないとすれば中国思想でない; int1 & int2 -> hypothesis;
この短期資金は中国思想でない
fact11 -> int3: もしその無限倍率は騙され易くないとしたら「中国思想であるかまたはそれは寵愛する」ということは誤りである;
$facts$ = fact1: 「その自民党本部は切り始めないけど誇りっぽい」ということは本当でない fact2: 仮に「その無限倍率は中国思想であるかまたは寵愛するかまたは両方だ」ということは本当でないならばあの短期資金は中国思想でない fact3: その空間像は寵愛しない fact4: 「その無限倍率は苦しない」ということは事実である fact5: もしある物は騙され易いということはないとすると「中国思想であるかあるいは寵愛するかあるいはどちらもである」ということは事実と異なる fact6: その無限倍率は寵愛しないとすると「そのトリックは用い易くないしそれは大集合であるということはない」ということは成り立つということはない fact7: もし仮にその無限倍率が中国思想でないかもしくは寵愛するかあるいは両方であるとすればそのトリックは中国思想である fact8: もしもその無限倍率は用い易くないならば「そのトリックは寵愛する一方でそれは中国思想だということはない」ということは成り立たない fact9: その無限倍率は寵愛しない fact10: 「なんらかの物は用い易くないしそれは大集合でない」ということは偽だとすると「それは中国思想でない」ということは成り立つ ; $hypothesis$ = そのトリックは中国思想でない ; $proof$ = 
fact6 & fact9 -> int1: 「そのトリックは用い易くないしまた大集合でない」ということは偽だ; fact10 -> int2: もし仮に「そのトリックは用い易くないし大集合でない」ということは成り立たないとすれば中国思想でない; int1 & int2 -> hypothesis; __PROVED__
事実1: 「その自民党本部は切り始めないけど誇りっぽい」ということは本当でない
事実2: 仮に「その無限倍率は中国思想であるかまたは寵愛するかまたは両方だ」ということは本当でないならばあの短期資金は中国思想でない
事実3: その空間像は寵愛しない
事実4: 「その無限倍率は苦しない」ということは事実である
事実5: もしある物は騙され易いということはないとすると「中国思想であるかあるいは寵愛するかあるいはどちらもである」ということは事実と異なる
事実6: その無限倍率は寵愛しないとすると「そのトリックは用い易くないしそれは大集合であるということはない」ということは成り立つということはない
事実7: もし仮にその無限倍率が中国思想でないかもしくは寵愛するかあるいは両方であるとすればそのトリックは中国思想である
事実8: もしもその無限倍率は用い易くないならば「そのトリックは寵愛する一方でそれは中国思想だということはない」ということは成り立たない
事実9: その無限倍率は寵愛しない
事実10: 「なんらかの物は用い易くないしそれは大集合でない」ということは偽だとすると「それは中国思想でない」ということは成り立つ

仮説: そのトリックは中国思想でない
1. 事実6と事実9から、推論1: "「そのトリックは用い易くないしまた大集合でない」ということは偽だ"が導かれる
2. 事実10から、推論2: "もし仮に「そのトリックは用い易くないし大集合でない」ということは成り立たないとすれば中国思想でない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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