あのリスト作りは戻り為さらない
fact1: あのリスト作りは戻り為さらない fact2: もしもあの係争処理手続きが戻り為さらない一方で本断片であるとすればあのリスト作りは戻り為さる fact3: 「その機関誌は戻り為さらない」ということは成り立つ fact4: あのリスト作りは奏効するということはない fact5: もし仮にあのリスト作りが戻り為さるしかつ十六．七世紀イエズス会日本報告集であるならこの胆嚢壁内は戻り為さらない fact6: あの結婚後は戻り為さらない
fact1 -> hypothesis;
fact1 -> hypothesis;
あのリスト作りは戻り為さる
$facts$ = fact1: あのリスト作りは戻り為さらない fact2: もしもあの係争処理手続きが戻り為さらない一方で本断片であるとすればあのリスト作りは戻り為さる fact3: 「その機関誌は戻り為さらない」ということは成り立つ fact4: あのリスト作りは奏効するということはない fact5: もし仮にあのリスト作りが戻り為さるしかつ十六．七世紀イエズス会日本報告集であるならこの胆嚢壁内は戻り為さらない fact6: あの結婚後は戻り為さらない ; $hypothesis$ = あのリスト作りは戻り為さらない ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: あのリスト作りは戻り為さらない
事実2: もしもあの係争処理手続きが戻り為さらない一方で本断片であるとすればあのリスト作りは戻り為さる
事実3: 「その機関誌は戻り為さらない」ということは成り立つ
事実4: あのリスト作りは奏効するということはない
事実5: もし仮にあのリスト作りが戻り為さるしかつ十六．七世紀イエズス会日本報告集であるならこの胆嚢壁内は戻り為さらない
事実6: あの結婚後は戻り為さらない

仮説: あのリスト作りは戻り為さらない
1. 事実1から、仮説が導かれる

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