あの要求仕様はドラッグするし引き起こし易い
fact1: その着手予定日が気高しがしかし引き起こし易くないならばあの要求仕様は引き起こし易い fact2: もし仮に何らかの物は気高しということはないとすれば「ドラッグするし加えてそれは引き起こし易い」ということは嘘である fact3: 仮に「あの要求仕様が短呼だけどそれは作業し易いということはない」ということは偽であるとすればドラッグする fact4: その着手予定日は気高し一方で引き起こし易くない fact5: 「あの要求仕様は短呼だ一方で作業し易くない」ということは間違いである
fact3 & fact5 -> int1: あの要求仕様はドラッグする; fact1 & fact4 -> int2: あの要求仕様は引き起こし易い; int1 & int2 -> hypothesis;
「あの要求仕様はドラッグするし加えて引き起こし易い」ということは成り立たない
fact6 -> int3: もし仮にあの要求仕様は気高しないならば「それはドラッグするしまた引き起こし易い」ということは偽だ;
$facts$ = fact1: その着手予定日が気高しがしかし引き起こし易くないならばあの要求仕様は引き起こし易い fact2: もし仮に何らかの物は気高しということはないとすれば「ドラッグするし加えてそれは引き起こし易い」ということは嘘である fact3: 仮に「あの要求仕様が短呼だけどそれは作業し易いということはない」ということは偽であるとすればドラッグする fact4: その着手予定日は気高し一方で引き起こし易くない fact5: 「あの要求仕様は短呼だ一方で作業し易くない」ということは間違いである ; $hypothesis$ = あの要求仕様はドラッグするし引き起こし易い ; $proof$ = 
fact3 & fact5 -> int1: あの要求仕様はドラッグする; fact1 & fact4 -> int2: あの要求仕様は引き起こし易い; int1 & int2 -> hypothesis; __PROVED__
事実1: その着手予定日が気高しがしかし引き起こし易くないならばあの要求仕様は引き起こし易い
事実2: もし仮に何らかの物は気高しということはないとすれば「ドラッグするし加えてそれは引き起こし易い」ということは嘘である
事実3: 仮に「あの要求仕様が短呼だけどそれは作業し易いということはない」ということは偽であるとすればドラッグする
事実4: その着手予定日は気高し一方で引き起こし易くない
事実5: 「あの要求仕様は短呼だ一方で作業し易くない」ということは間違いである

仮説: あの要求仕様はドラッグするし引き起こし易い
1. 事実3と事実5から、推論1: "あの要求仕様はドラッグする"が導かれる
2. 事実1と事実4から、推論2: "あの要求仕様は引き起こし易い"が導かれる
3. 推論1と推論2から、仮説が導かれる

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