「もし仮に「シフォンでないし運送約款でない」ということは間違いであるとすれば物流サービス水準でない」物はある
fact1: もしもその子猫μは運送約款であるとすれば「物流サービス水準でない」ということは正しい fact2: 「シフォンであるなら物流サービス水準でない」物はある fact3: 「「仮に「人懐っこくないし打ち付けるということはない」ということは成り立たないとすると胚胎しない」ものはある」ということは成り立つ fact4: もし「この上下は移せなくて加えて第十三章参照でない」ということは成り立たないとすると「シフォンでない」ということは正しい fact5: 「もし「シフォンでないけど運送約款だ」ということは本当であるということはないとしたら物流サービス水準でない」ものはある fact6: 「もし「シフォンであるし更に運送約款であるということはない」ということは成り立たないとすれば「物流サービス水準であるということはない」ということは真実な」ものはある fact7: もしも「その子猫μは凝り過ぎないしそれにそれは山手線でない」ということは成り立たないとしたら運送約款でない fact8: もし仮にその子猫μがシフォンでないしそれが運送約款だということはないとしたらそれは物流サービス水準でない fact9: 「その子猫μはシフォンでなくてかつそれは運送約款でない」ということは間違いだとしたら物流サービス水準でない fact10: 「仮に運送約款だとすると物流サービス水準でない」ものはある fact11: 「もし「尊しないしそれに御参照下さらない」ということは間違っているとすると参陣しない」ものはある fact12: 「もしも「シフォンでないし運送約款であるということはない」ということは成り立たないとすれば物流サービス水準である」ものはある fact13: もし「その子猫μはシフォンでなくてそれに運送約款でない」ということは成り立たないとするとそれは物流サービス水準だ fact14: 「仮に「再建するということはなくておまけに発現し易くない」ということは成り立たないならば激しくない」物はある fact15: もしも「「その子猫μはシフォンである一方で運送約款でない」ということは嘘だ」ということは成り立つなら「物流サービス水準でない」ということは真実である fact16: 「もしも「御参照下さらないしまた寒々しかない」ということは成り立つということはないなら理解出来ない」物はある fact17: 「「もしもシフォンでないし運送約款でないとすると物流サービス水準でない」物はある」ということは正しい
fact9 -> hypothesis;
$facts$ = fact1: もしもその子猫μは運送約款であるとすれば「物流サービス水準でない」ということは正しい fact2: 「シフォンであるなら物流サービス水準でない」物はある fact3: 「「仮に「人懐っこくないし打ち付けるということはない」ということは成り立たないとすると胚胎しない」ものはある」ということは成り立つ fact4: もし「この上下は移せなくて加えて第十三章参照でない」ということは成り立たないとすると「シフォンでない」ということは正しい fact5: 「もし「シフォンでないけど運送約款だ」ということは本当であるということはないとしたら物流サービス水準でない」ものはある fact6: 「もし「シフォンであるし更に運送約款であるということはない」ということは成り立たないとすれば「物流サービス水準であるということはない」ということは真実な」ものはある fact7: もしも「その子猫μは凝り過ぎないしそれにそれは山手線でない」ということは成り立たないとしたら運送約款でない fact8: もし仮にその子猫μがシフォンでないしそれが運送約款だということはないとしたらそれは物流サービス水準でない fact9: 「その子猫μはシフォンでなくてかつそれは運送約款でない」ということは間違いだとしたら物流サービス水準でない fact10: 「仮に運送約款だとすると物流サービス水準でない」ものはある fact11: 「もし「尊しないしそれに御参照下さらない」ということは間違っているとすると参陣しない」ものはある fact12: 「もしも「シフォンでないし運送約款であるということはない」ということは成り立たないとすれば物流サービス水準である」ものはある fact13: もし「その子猫μはシフォンでなくてそれに運送約款でない」ということは成り立たないとするとそれは物流サービス水準だ fact14: 「仮に「再建するということはなくておまけに発現し易くない」ということは成り立たないならば激しくない」物はある fact15: もしも「「その子猫μはシフォンである一方で運送約款でない」ということは嘘だ」ということは成り立つなら「物流サービス水準でない」ということは真実である fact16: 「もしも「御参照下さらないしまた寒々しかない」ということは成り立つということはないなら理解出来ない」物はある fact17: 「「もしもシフォンでないし運送約款でないとすると物流サービス水準でない」物はある」ということは正しい ; $hypothesis$ = 「もし仮に「シフォンでないし運送約款でない」ということは間違いであるとすれば物流サービス水準でない」物はある ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: もしもその子猫μは運送約款であるとすれば「物流サービス水準でない」ということは正しい
事実2: 「シフォンであるなら物流サービス水準でない」物はある
事実3: 「「仮に「人懐っこくないし打ち付けるということはない」ということは成り立たないとすると胚胎しない」ものはある」ということは成り立つ
事実4: もし「この上下は移せなくて加えて第十三章参照でない」ということは成り立たないとすると「シフォンでない」ということは正しい
事実5: 「もし「シフォンでないけど運送約款だ」ということは本当であるということはないとしたら物流サービス水準でない」ものはある
事実6: 「もし「シフォンであるし更に運送約款であるということはない」ということは成り立たないとすれば「物流サービス水準であるということはない」ということは真実な」ものはある
事実7: もしも「その子猫μは凝り過ぎないしそれにそれは山手線でない」ということは成り立たないとしたら運送約款でない
事実8: もし仮にその子猫μがシフォンでないしそれが運送約款だということはないとしたらそれは物流サービス水準でない
事実9: 「その子猫μはシフォンでなくてかつそれは運送約款でない」ということは間違いだとしたら物流サービス水準でない
事実10: 「仮に運送約款だとすると物流サービス水準でない」ものはある
事実11: 「もし「尊しないしそれに御参照下さらない」ということは間違っているとすると参陣しない」ものはある
事実12: 「もしも「シフォンでないし運送約款であるということはない」ということは成り立たないとすれば物流サービス水準である」ものはある
事実13: もし「その子猫μはシフォンでなくてそれに運送約款でない」ということは成り立たないとするとそれは物流サービス水準だ
事実14: 「仮に「再建するということはなくておまけに発現し易くない」ということは成り立たないならば激しくない」物はある
事実15: もしも「「その子猫μはシフォンである一方で運送約款でない」ということは嘘だ」ということは成り立つなら「物流サービス水準でない」ということは真実である
事実16: 「もしも「御参照下さらないしまた寒々しかない」ということは成り立つということはないなら理解出来ない」物はある
事実17: 「「もしもシフォンでないし運送約款でないとすると物流サービス水準でない」物はある」ということは正しい

仮説: 「もし仮に「シフォンでないし運送約款でない」ということは間違いであるとすれば物流サービス水準でない」物はある
1. 事実9から、仮説が導かれる

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