「もしＳＣ活動であるとすれば「フィニッシュしないしそれに甚だしくない」ということは誤っている」ものはある
fact1: もし「この硫黄酸化物はどす黒い」ということは確かだとすれば「著しかないしそれはＳＣ活動である」ということは成り立たない fact2: 「協調し合うとすれば「危うしないし宮大工でない」ということは間違っている」物はある fact3: もしも何らかのものは行えれば「「それは人間っぽいということはないしおまけにそれは鰤だということはない」ということは確かだ」ということは成り立たない fact4: もし仮にこの硫黄酸化物は交互であるとすれば甚だしくないしその上答礼しない fact5: もしも「この硫黄酸化物は甚だしい」ということは成り立つとすればみっともなくないしまた御偉くない fact6: もし仮にこの硫黄酸化物はＳＣ活動であるならば「フィニッシュしなくてかつそれは甚だしくない」ということは成り立たない fact7: この硫黄酸化物はＳＣ活動であるとすると「それはフィニッシュしないけれど甚だしい」ということは成り立たない
fact6 -> hypothesis;
fact6 -> hypothesis;
もし仮にその近傍は行えるとすれば「それは人間っぽくないし鰤でない」ということは誤りだ
fact8 -> hypothesis;
$facts$ = fact1: もし「この硫黄酸化物はどす黒い」ということは確かだとすれば「著しかないしそれはＳＣ活動である」ということは成り立たない fact2: 「協調し合うとすれば「危うしないし宮大工でない」ということは間違っている」物はある fact3: もしも何らかのものは行えれば「「それは人間っぽいということはないしおまけにそれは鰤だということはない」ということは確かだ」ということは成り立たない fact4: もし仮にこの硫黄酸化物は交互であるとすれば甚だしくないしその上答礼しない fact5: もしも「この硫黄酸化物は甚だしい」ということは成り立つとすればみっともなくないしまた御偉くない fact6: もし仮にこの硫黄酸化物はＳＣ活動であるならば「フィニッシュしなくてかつそれは甚だしくない」ということは成り立たない fact7: この硫黄酸化物はＳＣ活動であるとすると「それはフィニッシュしないけれど甚だしい」ということは成り立たない ; $hypothesis$ = 「もしＳＣ活動であるとすれば「フィニッシュしないしそれに甚だしくない」ということは誤っている」ものはある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: もし「この硫黄酸化物はどす黒い」ということは確かだとすれば「著しかないしそれはＳＣ活動である」ということは成り立たない
事実2: 「協調し合うとすれば「危うしないし宮大工でない」ということは間違っている」物はある
事実3: もしも何らかのものは行えれば「「それは人間っぽいということはないしおまけにそれは鰤だということはない」ということは確かだ」ということは成り立たない
事実4: もし仮にこの硫黄酸化物は交互であるとすれば甚だしくないしその上答礼しない
事実5: もしも「この硫黄酸化物は甚だしい」ということは成り立つとすればみっともなくないしまた御偉くない
事実6: もし仮にこの硫黄酸化物はＳＣ活動であるならば「フィニッシュしなくてかつそれは甚だしくない」ということは成り立たない
事実7: この硫黄酸化物はＳＣ活動であるとすると「それはフィニッシュしないけれど甚だしい」ということは成り立たない

仮説: 「もしＳＣ活動であるとすれば「フィニッシュしないしそれに甚だしくない」ということは誤っている」ものはある
1. 事実6から、仮説が導かれる

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