「もし勤務体制でないとしたら滴下しない」ものはある
fact1: もし仮にこの中山芝が勤務体制だということはないならばそれは滴下する fact2: もしこの一般用電気工作物は勤務体制でないならば「それはベーシストである」ということは正しい fact3: 「もし仮に培養しないとすればベーシストでない」ものはある fact4: 「「掃くということはない」ということは確かであるとしたら遣り切れる」ものはある fact5: この中山芝が懐っこいならば条里でない fact6: もしもこの中山芝は観察し易くないとしたらそれは掃除し易い fact7: 「とあるものは見辛くない」ということは確かだとすれば勤務体制だということはない fact8: もしその集落機能が変え難くないとするとそれは滴下する fact9: もし仮に「この中山芝は小狡い」ということは成り立つとすればそれは甘酸っぱくない fact10: 「もしも葉陰でないならば記号化しない」ものはある fact11: もし仮に「この中山芝は勤務体制だ」ということは事実だとしたら「懐っこくない」ということは真実である fact12: 「もし仮にマッチしないなら培養する」物はある fact13: この中山芝が勤務体制だとするとそれは滴下しない fact14: この中山芝が勤務体制だということはないならばそれは滴下しない fact15: 「もしも陥るということはないならばか弱くない」ものはある
fact14 -> hypothesis;
仮にこの中山芝が見辛いということはないとすると勤務体制でない
fact16 -> hypothesis;
$facts$ = fact1: もし仮にこの中山芝が勤務体制だということはないならばそれは滴下する fact2: もしこの一般用電気工作物は勤務体制でないならば「それはベーシストである」ということは正しい fact3: 「もし仮に培養しないとすればベーシストでない」ものはある fact4: 「「掃くということはない」ということは確かであるとしたら遣り切れる」ものはある fact5: この中山芝が懐っこいならば条里でない fact6: もしもこの中山芝は観察し易くないとしたらそれは掃除し易い fact7: 「とあるものは見辛くない」ということは確かだとすれば勤務体制だということはない fact8: もしその集落機能が変え難くないとするとそれは滴下する fact9: もし仮に「この中山芝は小狡い」ということは成り立つとすればそれは甘酸っぱくない fact10: 「もしも葉陰でないならば記号化しない」ものはある fact11: もし仮に「この中山芝は勤務体制だ」ということは事実だとしたら「懐っこくない」ということは真実である fact12: 「もし仮にマッチしないなら培養する」物はある fact13: この中山芝が勤務体制だとするとそれは滴下しない fact14: この中山芝が勤務体制だということはないならばそれは滴下しない fact15: 「もしも陥るということはないならばか弱くない」ものはある ; $hypothesis$ = 「もし勤務体制でないとしたら滴下しない」ものはある ; $proof$ = 
fact14 -> hypothesis; __PROVED__
事実1: もし仮にこの中山芝が勤務体制だということはないならばそれは滴下する
事実2: もしこの一般用電気工作物は勤務体制でないならば「それはベーシストである」ということは正しい
事実3: 「もし仮に培養しないとすればベーシストでない」ものはある
事実4: 「「掃くということはない」ということは確かであるとしたら遣り切れる」ものはある
事実5: この中山芝が懐っこいならば条里でない
事実6: もしもこの中山芝は観察し易くないとしたらそれは掃除し易い
事実7: 「とあるものは見辛くない」ということは確かだとすれば勤務体制だということはない
事実8: もしその集落機能が変え難くないとするとそれは滴下する
事実9: もし仮に「この中山芝は小狡い」ということは成り立つとすればそれは甘酸っぱくない
事実10: 「もしも葉陰でないならば記号化しない」ものはある
事実11: もし仮に「この中山芝は勤務体制だ」ということは事実だとしたら「懐っこくない」ということは真実である
事実12: 「もし仮にマッチしないなら培養する」物はある
事実13: この中山芝が勤務体制だとするとそれは滴下しない
事実14: この中山芝が勤務体制だということはないならばそれは滴下しない
事実15: 「もしも陥るということはないならばか弱くない」ものはある

仮説: 「もし勤務体制でないとしたら滴下しない」ものはある
1. 事実14から、仮説が導かれる

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