「仮に楹でないとすれば「等分でなくて甘くない」ということは本当でない」ものはある
fact1: 「楹だということはないとしたら「等分であるけど甘くない」ということは成り立たない」物はある fact2: 「この発注量は楹でないならば「この発注量が等分だけど甘くない」ということは成り立たない」ということは誤りでない fact3: 「楹でないとすれば等分だということはなくて加えて甘くない」ものはある fact4: 仮にこの発注量は楹でないとすると「それは等分でないし甘い」ということは成り立たない fact5: もし仮にこの発注量が楹でないとすればそれは等分でないしそれに甘くない fact6: もし仮にこの発注量は楹であるならば「それは等分であるということはないしその上甘くない」ということは間違いである fact7: 「もし仮に楹でないとしたら「等分でなくて甘い」ということは成り立つということはない」物はある fact8: この発注量は楹でないとしたら「それは等分でないしさらにそれは甘いということはない」ということは成り立つということはない fact9: 「仮に楹であるなら「等分でないしさらに甘いということはない」ということは成り立たない」物はある
fact8 -> hypothesis;
fact8 -> hypothesis;
$facts$ = fact1: 「楹だということはないとしたら「等分であるけど甘くない」ということは成り立たない」物はある fact2: 「この発注量は楹でないならば「この発注量が等分だけど甘くない」ということは成り立たない」ということは誤りでない fact3: 「楹でないとすれば等分だということはなくて加えて甘くない」ものはある fact4: 仮にこの発注量は楹でないとすると「それは等分でないし甘い」ということは成り立たない fact5: もし仮にこの発注量が楹でないとすればそれは等分でないしそれに甘くない fact6: もし仮にこの発注量は楹であるならば「それは等分であるということはないしその上甘くない」ということは間違いである fact7: 「もし仮に楹でないとしたら「等分でなくて甘い」ということは成り立つということはない」物はある fact8: この発注量は楹でないとしたら「それは等分でないしさらにそれは甘いということはない」ということは成り立つということはない fact9: 「仮に楹であるなら「等分でないしさらに甘いということはない」ということは成り立たない」物はある ; $hypothesis$ = 「仮に楹でないとすれば「等分でなくて甘くない」ということは本当でない」ものはある ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: 「楹だということはないとしたら「等分であるけど甘くない」ということは成り立たない」物はある
事実2: 「この発注量は楹でないならば「この発注量が等分だけど甘くない」ということは成り立たない」ということは誤りでない
事実3: 「楹でないとすれば等分だということはなくて加えて甘くない」ものはある
事実4: 仮にこの発注量は楹でないとすると「それは等分でないし甘い」ということは成り立たない
事実5: もし仮にこの発注量が楹でないとすればそれは等分でないしそれに甘くない
事実6: もし仮にこの発注量は楹であるならば「それは等分であるということはないしその上甘くない」ということは間違いである
事実7: 「もし仮に楹でないとしたら「等分でなくて甘い」ということは成り立つということはない」物はある
事実8: この発注量は楹でないとしたら「それは等分でないしさらにそれは甘いということはない」ということは成り立つということはない
事実9: 「仮に楹であるなら「等分でないしさらに甘いということはない」ということは成り立たない」物はある

仮説: 「仮に楹でないとすれば「等分でなくて甘くない」ということは本当でない」ものはある
1. 事実8から、仮説が導かれる

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