あの外国軍は荒っぽい
fact1: 「プロ入りする」ものはあれば「あの経巻は引き起こし易くないがしかし相互直通する」ということは成り立つということはない fact2: その就労継続が不正侵入するとするとあの外国軍は荒っぽい fact3: 「あの経巻は引き起こし易くないがしかし相互直通する」ということは成り立たないならばその就労継続は不正侵入する fact4: 「プロ入りする」ものはある
fact4 & fact1 -> int1: 「あの経巻は引き起こし易くない一方で相互直通する」ということは偽だ; int1 & fact3 -> int2: 「その就労継続は不正侵入する」ということは真実である; int2 & fact2 -> hypothesis;
fact4 & fact1 -> int1: ¬(¬{B}{a} & {C}{a}); int1 & fact3 -> int2: {D}{b}; int2 & fact2 -> hypothesis;
$facts$ = fact1: 「プロ入りする」ものはあれば「あの経巻は引き起こし易くないがしかし相互直通する」ということは成り立つということはない fact2: その就労継続が不正侵入するとするとあの外国軍は荒っぽい fact3: 「あの経巻は引き起こし易くないがしかし相互直通する」ということは成り立たないならばその就労継続は不正侵入する fact4: 「プロ入りする」ものはある ; $hypothesis$ = あの外国軍は荒っぽい ; $proof$ = 
fact4 & fact1 -> int1: 「あの経巻は引き起こし易くない一方で相互直通する」ということは偽だ; int1 & fact3 -> int2: 「その就労継続は不正侵入する」ということは真実である; int2 & fact2 -> hypothesis; __PROVED__
事実1: 「プロ入りする」ものはあれば「あの経巻は引き起こし易くないがしかし相互直通する」ということは成り立つということはない
事実2: その就労継続が不正侵入するとするとあの外国軍は荒っぽい
事実3: 「あの経巻は引き起こし易くないがしかし相互直通する」ということは成り立たないならばその就労継続は不正侵入する
事実4: 「プロ入りする」ものはある

仮説: あの外国軍は荒っぽい
1. 事実4と事実1から、推論1: "「あの経巻は引き起こし易くない一方で相互直通する」ということは偽だ"が導かれる
2. 推論1と事実3から、推論2: "「その就労継続は不正侵入する」ということは真実である"が導かれる
3. 推論2と事実2から、仮説が導かれる

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