この孫家鎮は乗り組む
fact1: 「「新型Ｉポッドで懐かしまない」ということは本当な」ものはある fact2: 仮に「なにがしかのものは新型Ｉポッドだが懐かしまない」ということは真実であるとすればあの孫家鎮は乗り組む fact3: なにがしかの物は新型Ｉポッドであるし加えてそれは懐かしむ fact4: 何かは乗り組む fact5: もし仮にあるものが新型Ｉポッドであるけれどそれが手続き出来ないならばあの日本人留学生は唱え出す
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
$facts$ = fact1: 「「新型Ｉポッドで懐かしまない」ということは本当な」ものはある fact2: 仮に「なにがしかのものは新型Ｉポッドだが懐かしまない」ということは真実であるとすればあの孫家鎮は乗り組む fact3: なにがしかの物は新型Ｉポッドであるし加えてそれは懐かしむ fact4: 何かは乗り組む fact5: もし仮にあるものが新型Ｉポッドであるけれどそれが手続き出来ないならばあの日本人留学生は唱え出す ; $hypothesis$ = この孫家鎮は乗り組む ; $proof$ = 
fact1 & fact2 -> hypothesis; __PROVED__
事実1: 「「新型Ｉポッドで懐かしまない」ということは本当な」ものはある
事実2: 仮に「なにがしかのものは新型Ｉポッドだが懐かしまない」ということは真実であるとすればあの孫家鎮は乗り組む
事実3: なにがしかの物は新型Ｉポッドであるし加えてそれは懐かしむ
事実4: 何かは乗り組む
事実5: もし仮にあるものが新型Ｉポッドであるけれどそれが手続き出来ないならばあの日本人留学生は唱え出す

仮説: この孫家鎮は乗り組む
1. 事実1と事実2から、仮説が導かれる

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