「このノットＥは勤め上げない」ということは成り立つ
fact1: このノットＥは勤め上げる fact2: その被告企業は勤め上げる fact3: このノットＥは貯金通帳だ fact4: もし仮になにかはいとおしいとするとそれは勤め上げる
fact1 -> hypothesis;
fact1 -> hypothesis;
あのＥＳＰは勤め上げる
fact5 -> int1: もしあのＥＳＰがいとおしいならばそれは勤め上げる;
$facts$ = fact1: このノットＥは勤め上げる fact2: その被告企業は勤め上げる fact3: このノットＥは貯金通帳だ fact4: もし仮になにかはいとおしいとするとそれは勤め上げる ; $hypothesis$ = 「このノットＥは勤め上げない」ということは成り立つ ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: このノットＥは勤め上げる
事実2: その被告企業は勤め上げる
事実3: このノットＥは貯金通帳だ
事実4: もし仮になにかはいとおしいとするとそれは勤め上げる

仮説: 「このノットＥは勤め上げない」ということは成り立つ
1. 事実1から、仮説が否定される

よって、仮説が否定されました。