この全国一は物々しい
fact1: この全国一は物々しかないとすれば「京都―大阪間で加えてガラス細工だ」ということは成り立つ fact2: もしもある物がロシア人達でないとすればそれはガラス細工である fact3: 仮になんらかのものが物々しいということはないとしたらガラス細工であるしそれにそれは京都―大阪間である fact4: このピールはガラス細工でない fact5: そのユーはガラス細工だ fact6: もし「なにがしかのものは京都―大阪間であるけど物々しかない」ということは誤っていればそれは京都―大阪間でない fact7: もし仮にそのユーが京都―大阪間であるならこの全国一は物々しい fact8: もし仮に何らかの物はロシア人達でないとすると京都―大阪間であるしガラス細工である fact9: そのユーはロシア人達でない fact10: もし「この全国一は由々しくないが物々しい」ということは間違っているならそれは物々しかない fact11: そのユーがロシア人達でないとすればそれはガラス細工である
fact8 -> int1: 仮にそのユーがロシア人達でないとしたら京都―大阪間であるしまたガラス細工である; int1 & fact9 -> int2: そのユーは京都―大阪間であるしその上ガラス細工である; int2 -> int3: そのユーは京都―大阪間である; int3 & fact7 -> hypothesis;
この全国一は物々しかない
$facts$ = fact1: この全国一は物々しかないとすれば「京都―大阪間で加えてガラス細工だ」ということは成り立つ fact2: もしもある物がロシア人達でないとすればそれはガラス細工である fact3: 仮になんらかのものが物々しいということはないとしたらガラス細工であるしそれにそれは京都―大阪間である fact4: このピールはガラス細工でない fact5: そのユーはガラス細工だ fact6: もし「なにがしかのものは京都―大阪間であるけど物々しかない」ということは誤っていればそれは京都―大阪間でない fact7: もし仮にそのユーが京都―大阪間であるならこの全国一は物々しい fact8: もし仮に何らかの物はロシア人達でないとすると京都―大阪間であるしガラス細工である fact9: そのユーはロシア人達でない fact10: もし「この全国一は由々しくないが物々しい」ということは間違っているならそれは物々しかない fact11: そのユーがロシア人達でないとすればそれはガラス細工である ; $hypothesis$ = この全国一は物々しい ; $proof$ = 
fact8 -> int1: 仮にそのユーがロシア人達でないとしたら京都―大阪間であるしまたガラス細工である; int1 & fact9 -> int2: そのユーは京都―大阪間であるしその上ガラス細工である; int2 -> int3: そのユーは京都―大阪間である; int3 & fact7 -> hypothesis; __PROVED__
事実1: この全国一は物々しかないとすれば「京都―大阪間で加えてガラス細工だ」ということは成り立つ
事実2: もしもある物がロシア人達でないとすればそれはガラス細工である
事実3: 仮になんらかのものが物々しいということはないとしたらガラス細工であるしそれにそれは京都―大阪間である
事実4: このピールはガラス細工でない
事実5: そのユーはガラス細工だ
事実6: もし「なにがしかのものは京都―大阪間であるけど物々しかない」ということは誤っていればそれは京都―大阪間でない
事実7: もし仮にそのユーが京都―大阪間であるならこの全国一は物々しい
事実8: もし仮に何らかの物はロシア人達でないとすると京都―大阪間であるしガラス細工である
事実9: そのユーはロシア人達でない
事実10: もし「この全国一は由々しくないが物々しい」ということは間違っているならそれは物々しかない
事実11: そのユーがロシア人達でないとすればそれはガラス細工である

仮説: この全国一は物々しい
1. 事実8から、推論1: "仮にそのユーがロシア人達でないとしたら京都―大阪間であるしまたガラス細工である"が導かれる
2. 推論1と事実9から、推論2: "そのユーは京都―大阪間であるしその上ガラス細工である"が導かれる
3. 推論2から、推論3: "そのユーは京都―大阪間である"が導かれる
4. 推論3と事実7から、仮説が導かれる

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