「このＭＳＩ一蛋白質は苦しないし加えて下葉でない」ということは成り立たない
fact1: このＭＳＩ一蛋白質は力強くないとすれば「「それは苦しししかもそれは下葉でない」ということは成り立つ」ということは間違いである fact2: もしもこのＭＳＩ一蛋白質は力強くないならば「苦しないけど下葉だ」ということは間違っている fact3: このＭＳＩ一蛋白質は力強くない fact4: 「このＭＳＩ一蛋白質は苦しということはないがしかし下葉である」ということは成り立たない fact5: もし仮に何らかの物は専門棋士であるということはないとすると「それは苦しないしかつそれは乏しくない」ということは成り立たない fact6: 「このＭＳＩ一蛋白質は苦しがしかしそれは下葉でない」ということは誤りだ fact7: 仮にこのＭＳＩ一蛋白質は力強くないとすると「それは苦しということはなくて下葉でない」ということは成り立たない
fact7 & fact3 -> hypothesis;
fact7 & fact3 -> hypothesis;
仮にこのソロ活動は専門棋士でないならば「苦しということはないしさらにそれは乏しくない」ということは誤っている
fact8 -> hypothesis;
$facts$ = fact1: このＭＳＩ一蛋白質は力強くないとすれば「「それは苦しししかもそれは下葉でない」ということは成り立つ」ということは間違いである fact2: もしもこのＭＳＩ一蛋白質は力強くないならば「苦しないけど下葉だ」ということは間違っている fact3: このＭＳＩ一蛋白質は力強くない fact4: 「このＭＳＩ一蛋白質は苦しということはないがしかし下葉である」ということは成り立たない fact5: もし仮に何らかの物は専門棋士であるということはないとすると「それは苦しないしかつそれは乏しくない」ということは成り立たない fact6: 「このＭＳＩ一蛋白質は苦しがしかしそれは下葉でない」ということは誤りだ fact7: 仮にこのＭＳＩ一蛋白質は力強くないとすると「それは苦しということはなくて下葉でない」ということは成り立たない ; $hypothesis$ = 「このＭＳＩ一蛋白質は苦しないし加えて下葉でない」ということは成り立たない ; $proof$ = 
fact7 & fact3 -> hypothesis; __PROVED__
事実1: このＭＳＩ一蛋白質は力強くないとすれば「「それは苦しししかもそれは下葉でない」ということは成り立つ」ということは間違いである
事実2: もしもこのＭＳＩ一蛋白質は力強くないならば「苦しないけど下葉だ」ということは間違っている
事実3: このＭＳＩ一蛋白質は力強くない
事実4: 「このＭＳＩ一蛋白質は苦しということはないがしかし下葉である」ということは成り立たない
事実5: もし仮に何らかの物は専門棋士であるということはないとすると「それは苦しないしかつそれは乏しくない」ということは成り立たない
事実6: 「このＭＳＩ一蛋白質は苦しがしかしそれは下葉でない」ということは誤りだ
事実7: 仮にこのＭＳＩ一蛋白質は力強くないとすると「それは苦しということはなくて下葉でない」ということは成り立たない

仮説: 「このＭＳＩ一蛋白質は苦しないし加えて下葉でない」ということは成り立たない
1. 事実7と事実3から、仮説が導かれる

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