その四腕はバリアする
fact1: 仮に如何わしいものは無一文でないならバリアする fact2: あの世界教育学撰集は強襲する fact3: その御無事は強襲するとしたら「その四腕は如何わしい一方で無一文でない」ということは真実だ fact4: その御無事は強襲する
fact1 -> int1: 「仮にその四腕が如何わしい一方でそれが無一文でないとするとその四腕はバリアする」ということは正しい; fact3 & fact4 -> int2: その四腕は如何わしいけれど無一文であるということはない; int1 & int2 -> hypothesis;
$facts$ = fact1: 仮に如何わしいものは無一文でないならバリアする fact2: あの世界教育学撰集は強襲する fact3: その御無事は強襲するとしたら「その四腕は如何わしい一方で無一文でない」ということは真実だ fact4: その御無事は強襲する ; $hypothesis$ = その四腕はバリアする ; $proof$ = 
fact1 -> int1: 「仮にその四腕が如何わしい一方でそれが無一文でないとするとその四腕はバリアする」ということは正しい; fact3 & fact4 -> int2: その四腕は如何わしいけれど無一文であるということはない; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮に如何わしいものは無一文でないならバリアする
事実2: あの世界教育学撰集は強襲する
事実3: その御無事は強襲するとしたら「その四腕は如何わしい一方で無一文でない」ということは真実だ
事実4: その御無事は強襲する

仮説: その四腕はバリアする
1. 事実1から、推論1: "「仮にその四腕が如何わしい一方でそれが無一文でないとするとその四腕はバリアする」ということは正しい"が導かれる
2. 事実3と事実4から、推論2: "その四腕は如何わしいけれど無一文であるということはない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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