この万有原理は自然らしい
fact1: この万有原理は上掲書である fact2: なんらかの物は恭しいがしかし使い慣れない fact3: 「大型機でない」ものはある fact4: 「上掲書でなくてしかも色好くない」物はある fact5: もしも「集まり易いということはないしさらに世界以外でない」ものがあるならそのベントバルブは相接する fact6: 「作者自身である一方で設けない」ものはある fact7: 何かは自然らしくない fact8: もしとある物が上掲書でないし加えて色好いということはないとしたら「この万有原理は自然らしい」ということは事実と異ならない
fact4 & fact8 -> hypothesis;
fact4 & fact8 -> hypothesis;
$facts$ = fact1: この万有原理は上掲書である fact2: なんらかの物は恭しいがしかし使い慣れない fact3: 「大型機でない」ものはある fact4: 「上掲書でなくてしかも色好くない」物はある fact5: もしも「集まり易いということはないしさらに世界以外でない」ものがあるならそのベントバルブは相接する fact6: 「作者自身である一方で設けない」ものはある fact7: 何かは自然らしくない fact8: もしとある物が上掲書でないし加えて色好いということはないとしたら「この万有原理は自然らしい」ということは事実と異ならない ; $hypothesis$ = この万有原理は自然らしい ; $proof$ = 
fact4 & fact8 -> hypothesis; __PROVED__
事実1: この万有原理は上掲書である
事実2: なんらかの物は恭しいがしかし使い慣れない
事実3: 「大型機でない」ものはある
事実4: 「上掲書でなくてしかも色好くない」物はある
事実5: もしも「集まり易いということはないしさらに世界以外でない」ものがあるならそのベントバルブは相接する
事実6: 「作者自身である一方で設けない」ものはある
事実7: 何かは自然らしくない
事実8: もしとある物が上掲書でないし加えて色好いということはないとしたら「この万有原理は自然らしい」ということは事実と異ならない

仮説: この万有原理は自然らしい
1. 事実4と事実8から、仮説が導かれる

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