この職員用は繋がり易くない
fact1: この職員用は恥ずかしい fact2: もしもこの職員用が足利尊氏等ならば世知辛い fact3: 「付け置かないし起こし易くない」ものはある fact4: もし仮に「付け置かなくてかつ起こし易くない」物があるならこの職員用は足利尊氏等である fact5: もしもこの職員用が世知辛いしその上それが恥ずかしいなら繋がり易くない fact6: あの民法上は足利尊氏等である
fact3 & fact4 -> int1: この職員用は足利尊氏等である; int1 & fact2 -> int2: この職員用は世知辛い; int2 & fact1 -> int3: この職員用は世知辛くてかつ恥ずかしい; int3 & fact5 -> hypothesis;
$facts$ = fact1: この職員用は恥ずかしい fact2: もしもこの職員用が足利尊氏等ならば世知辛い fact3: 「付け置かないし起こし易くない」ものはある fact4: もし仮に「付け置かなくてかつ起こし易くない」物があるならこの職員用は足利尊氏等である fact5: もしもこの職員用が世知辛いしその上それが恥ずかしいなら繋がり易くない fact6: あの民法上は足利尊氏等である ; $hypothesis$ = この職員用は繋がり易くない ; $proof$ = 
fact3 & fact4 -> int1: この職員用は足利尊氏等である; int1 & fact2 -> int2: この職員用は世知辛い; int2 & fact1 -> int3: この職員用は世知辛くてかつ恥ずかしい; int3 & fact5 -> hypothesis; __PROVED__
事実1: この職員用は恥ずかしい
事実2: もしもこの職員用が足利尊氏等ならば世知辛い
事実3: 「付け置かないし起こし易くない」ものはある
事実4: もし仮に「付け置かなくてかつ起こし易くない」物があるならこの職員用は足利尊氏等である
事実5: もしもこの職員用が世知辛いしその上それが恥ずかしいなら繋がり易くない
事実6: あの民法上は足利尊氏等である

仮説: この職員用は繋がり易くない
1. 事実3と事実4から、推論1: "この職員用は足利尊氏等である"が導かれる
2. 推論1と事実2から、推論2: "この職員用は世知辛い"が導かれる
3. 推論2と事実1から、推論3: "この職員用は世知辛くてかつ恥ずかしい"が導かれる
4. 推論3と事実5から、仮説が導かれる

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