あの理屈抜きは葡有する
fact1: あの理屈抜きが子供っぽくないとしたらあの源泉地国は葡有するしさらに申請する fact2: もし仮にあの理屈抜きが申請するとすれば葡有する fact3: あの理屈抜きは申請する fact4: もしなんらかの物が御知るがしかしそれが渋温泉でないとすれば子供っぽくない
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
あの源泉地国は葡有する
fact5 -> int1: もし「あの理屈抜きは御知るがしかし渋温泉でない」ということは成り立つとすればそれは子供っぽくない;
$facts$ = fact1: あの理屈抜きが子供っぽくないとしたらあの源泉地国は葡有するしさらに申請する fact2: もし仮にあの理屈抜きが申請するとすれば葡有する fact3: あの理屈抜きは申請する fact4: もしなんらかの物が御知るがしかしそれが渋温泉でないとすれば子供っぽくない ; $hypothesis$ = あの理屈抜きは葡有する ; $proof$ = 
fact2 & fact3 -> hypothesis; __PROVED__
事実1: あの理屈抜きが子供っぽくないとしたらあの源泉地国は葡有するしさらに申請する
事実2: もし仮にあの理屈抜きが申請するとすれば葡有する
事実3: あの理屈抜きは申請する
事実4: もしなんらかの物が御知るがしかしそれが渋温泉でないとすれば子供っぽくない

仮説: あの理屈抜きは葡有する
1. 事実2と事実3から、仮説が導かれる

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