「もし反閉だということはないとすると「白いけど白鯨でない」ということは成り立つということはない」ものはある
fact1: 「「もし仮に反閉でないならば白いがしかし白鯨でない」ものはある」ということは正しい fact2: 「仮に投資率でないならば「手土産であるが実感しない」ということは嘘である」物はある fact3: もし仮にそのフォームは反閉でないとしたら「「白くてそれは白鯨でない」ということは誤っていない」ということは偽だ fact4: 「もし「反閉でない」ということは真実だとすると「白くて白鯨である」ということは成り立たない」ものはある fact5: 「もし「反閉だ」ということは事実であるとすれば「白いがしかし白鯨でない」ということは事実と異なる」物はある fact6: 「もしなんらかの物は白鯨でないとしたら「それが農業・食料システムだしさらにそれは自己嫌悪でない」ということは成り立たない」ということは間違いでない
fact3 -> hypothesis;
fact3 -> hypothesis;
もしその一市民は白鯨でないとしたら「農業・食料システムだけど自己嫌悪でない」ということは誤っている
fact7 -> hypothesis;
$facts$ = fact1: 「「もし仮に反閉でないならば白いがしかし白鯨でない」ものはある」ということは正しい fact2: 「仮に投資率でないならば「手土産であるが実感しない」ということは嘘である」物はある fact3: もし仮にそのフォームは反閉でないとしたら「「白くてそれは白鯨でない」ということは誤っていない」ということは偽だ fact4: 「もし「反閉でない」ということは真実だとすると「白くて白鯨である」ということは成り立たない」ものはある fact5: 「もし「反閉だ」ということは事実であるとすれば「白いがしかし白鯨でない」ということは事実と異なる」物はある fact6: 「もしなんらかの物は白鯨でないとしたら「それが農業・食料システムだしさらにそれは自己嫌悪でない」ということは成り立たない」ということは間違いでない ; $hypothesis$ = 「もし反閉だということはないとすると「白いけど白鯨でない」ということは成り立つということはない」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「「もし仮に反閉でないならば白いがしかし白鯨でない」ものはある」ということは正しい
事実2: 「仮に投資率でないならば「手土産であるが実感しない」ということは嘘である」物はある
事実3: もし仮にそのフォームは反閉でないとしたら「「白くてそれは白鯨でない」ということは誤っていない」ということは偽だ
事実4: 「もし「反閉でない」ということは真実だとすると「白くて白鯨である」ということは成り立たない」ものはある
事実5: 「もし「反閉だ」ということは事実であるとすれば「白いがしかし白鯨でない」ということは事実と異なる」物はある
事実6: 「もしなんらかの物は白鯨でないとしたら「それが農業・食料システムだしさらにそれは自己嫌悪でない」ということは成り立たない」ということは間違いでない

仮説: 「もし反閉だということはないとすると「白いけど白鯨でない」ということは成り立つということはない」ものはある
1. 事実3から、仮説が導かれる

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