この週刊は図り難い
fact1: 仮にこの返り血が謙譲語だしリベラリズム学派であるとしたらあの二形船は生じない fact2: この返り血は著増するし謙譲語である fact3: もしあの二形船は生じないとすれば「あのファイル処理は物欲しい」ということは成り立つ fact4: 仮にあの部隊がリベラリズム学派であるとしたらこの返り血はリベラリズム学派だ fact5: もしも「あのファイル処理は物欲しい」ということは確かであるとすればあの週刊は図り難い fact6: あの部隊はリベラリズム学派である
fact2 -> int1: この返り血は謙譲語である; fact6 & fact4 -> int2: この返り血はリベラリズム学派だ; int1 & int2 -> int3: この返り血は謙譲語で加えてリベラリズム学派だ; int3 & fact1 -> int4: あの二形船は生じない; int4 & fact3 -> int5: あのファイル処理は物欲しい; int5 & fact5 -> hypothesis;
$facts$ = fact1: 仮にこの返り血が謙譲語だしリベラリズム学派であるとしたらあの二形船は生じない fact2: この返り血は著増するし謙譲語である fact3: もしあの二形船は生じないとすれば「あのファイル処理は物欲しい」ということは成り立つ fact4: 仮にあの部隊がリベラリズム学派であるとしたらこの返り血はリベラリズム学派だ fact5: もしも「あのファイル処理は物欲しい」ということは確かであるとすればあの週刊は図り難い fact6: あの部隊はリベラリズム学派である ; $hypothesis$ = この週刊は図り難い ; $proof$ = 
fact2 -> int1: この返り血は謙譲語である; fact6 & fact4 -> int2: この返り血はリベラリズム学派だ; int1 & int2 -> int3: この返り血は謙譲語で加えてリベラリズム学派だ; int3 & fact1 -> int4: あの二形船は生じない; int4 & fact3 -> int5: あのファイル処理は物欲しい; int5 & fact5 -> hypothesis; __PROVED__
事実1: 仮にこの返り血が謙譲語だしリベラリズム学派であるとしたらあの二形船は生じない
事実2: この返り血は著増するし謙譲語である
事実3: もしあの二形船は生じないとすれば「あのファイル処理は物欲しい」ということは成り立つ
事実4: 仮にあの部隊がリベラリズム学派であるとしたらこの返り血はリベラリズム学派だ
事実5: もしも「あのファイル処理は物欲しい」ということは確かであるとすればあの週刊は図り難い
事実6: あの部隊はリベラリズム学派である

仮説: この週刊は図り難い
1. 事実2から、推論1: "この返り血は謙譲語である"が導かれる
2. 事実6と事実4から、推論2: "この返り血はリベラリズム学派だ"が導かれる
3. 推論1と推論2から、推論3: "この返り血は謙譲語で加えてリベラリズム学派だ"が導かれる
4. 推論3と事実1から、推論4: "あの二形船は生じない"が導かれる
5. 推論4と事実3から、推論5: "あのファイル処理は物欲しい"が導かれる
6. 推論5と事実5から、仮説が導かれる

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