「このコルシカ人は光メモリであるし家族用である」ということは真実だ
fact1: この下り列車は都市全体だし光メモリである fact2: 「このコルシカ人は背馳する」ということは確かならばそれは家族用である fact3: もしなにがしかのものが安ししかつそれが立ち返るとするとこのコルシカ人は光メモリである fact4: この下り列車は立ち返る fact5: もしもこの下り列車は安しということはないとしたら「このコルシカ人は光メモリであるし家族用だ」ということは成り立つということはない fact6: このコルシカ人は背馳する fact7: この下り列車は安し fact8: 「立ち返る」物はある fact9: あの絵書きさんは立ち返る fact10: 何らかの物は安し
fact7 & fact4 -> int1: この下り列車は安ししその上立ち返る; int1 -> int2: なにかは安しし加えて立ち返る; int2 & fact3 -> int3: このコルシカ人は光メモリである; fact2 & fact6 -> int4: このコルシカ人は家族用である; int3 & int4 -> hypothesis;
「このコルシカ人は光メモリであるしおまけに家族用である」ということは成り立たない
$facts$ = fact1: この下り列車は都市全体だし光メモリである fact2: 「このコルシカ人は背馳する」ということは確かならばそれは家族用である fact3: もしなにがしかのものが安ししかつそれが立ち返るとするとこのコルシカ人は光メモリである fact4: この下り列車は立ち返る fact5: もしもこの下り列車は安しということはないとしたら「このコルシカ人は光メモリであるし家族用だ」ということは成り立つということはない fact6: このコルシカ人は背馳する fact7: この下り列車は安し fact8: 「立ち返る」物はある fact9: あの絵書きさんは立ち返る fact10: 何らかの物は安し ; $hypothesis$ = 「このコルシカ人は光メモリであるし家族用である」ということは真実だ ; $proof$ = 
fact7 & fact4 -> int1: この下り列車は安ししその上立ち返る; int1 -> int2: なにかは安しし加えて立ち返る; int2 & fact3 -> int3: このコルシカ人は光メモリである; fact2 & fact6 -> int4: このコルシカ人は家族用である; int3 & int4 -> hypothesis; __PROVED__
事実1: この下り列車は都市全体だし光メモリである
事実2: 「このコルシカ人は背馳する」ということは確かならばそれは家族用である
事実3: もしなにがしかのものが安ししかつそれが立ち返るとするとこのコルシカ人は光メモリである
事実4: この下り列車は立ち返る
事実5: もしもこの下り列車は安しということはないとしたら「このコルシカ人は光メモリであるし家族用だ」ということは成り立つということはない
事実6: このコルシカ人は背馳する
事実7: この下り列車は安し
事実8: 「立ち返る」物はある
事実9: あの絵書きさんは立ち返る
事実10: 何らかの物は安し

仮説: 「このコルシカ人は光メモリであるし家族用である」ということは真実だ
1. 事実7と事実4から、推論1: "この下り列車は安ししその上立ち返る"が導かれる
2. 推論1から、推論2: "なにかは安しし加えて立ち返る"が導かれる
3. 推論2と事実3から、推論3: "このコルシカ人は光メモリである"が導かれる
4. 事実2と事実6から、推論4: "このコルシカ人は家族用である"が導かれる
5. 推論3と推論4から、仮説が導かれる

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