もし仮にその電力債は周辺環境だということはないしおまけに思わないとすれば下痢止めでない
fact1: もし仮にこの築城が牛肉でなくてそれが大人しくないとすればそれは下痢止めでない fact2: もしその電力債は独り暮らしするということはないしそれに下痢止めでないとすると存在すらない fact3: もしもこの育児休業中は育児休業法であるが表立たないならばそれはパラフレーズしない fact4: もしもその電力債が折り畳めるが嫌らしくないとしたら避雷針でない fact5: 仮に周辺環境が思うということはないとするとそれは下痢止めであるということはない fact6: 仮になんらかの物が周辺環境でないけれど思うとするとそれは下痢止めでない fact7: もしこのミクロ組織は思うがこっ酷くないならばそれは糖脂質でない fact8: とあるものが周辺環境であるということはなくて思わないとすればそれは下痢止めでない
fact8 -> hypothesis;
fact8 -> hypothesis;
$facts$ = fact1: もし仮にこの築城が牛肉でなくてそれが大人しくないとすればそれは下痢止めでない fact2: もしその電力債は独り暮らしするということはないしそれに下痢止めでないとすると存在すらない fact3: もしもこの育児休業中は育児休業法であるが表立たないならばそれはパラフレーズしない fact4: もしもその電力債が折り畳めるが嫌らしくないとしたら避雷針でない fact5: 仮に周辺環境が思うということはないとするとそれは下痢止めであるということはない fact6: 仮になんらかの物が周辺環境でないけれど思うとするとそれは下痢止めでない fact7: もしこのミクロ組織は思うがこっ酷くないならばそれは糖脂質でない fact8: とあるものが周辺環境であるということはなくて思わないとすればそれは下痢止めでない ; $hypothesis$ = もし仮にその電力債は周辺環境だということはないしおまけに思わないとすれば下痢止めでない ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: もし仮にこの築城が牛肉でなくてそれが大人しくないとすればそれは下痢止めでない
事実2: もしその電力債は独り暮らしするということはないしそれに下痢止めでないとすると存在すらない
事実3: もしもこの育児休業中は育児休業法であるが表立たないならばそれはパラフレーズしない
事実4: もしもその電力債が折り畳めるが嫌らしくないとしたら避雷針でない
事実5: 仮に周辺環境が思うということはないとするとそれは下痢止めであるということはない
事実6: 仮になんらかの物が周辺環境でないけれど思うとするとそれは下痢止めでない
事実7: もしこのミクロ組織は思うがこっ酷くないならばそれは糖脂質でない
事実8: とあるものが周辺環境であるということはなくて思わないとすればそれは下痢止めでない

仮説: もし仮にその電力債は周辺環境だということはないしおまけに思わないとすれば下痢止めでない
1. 事実8から、仮説が導かれる

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