あの活動計画は立て難い
fact1: あの活動計画は立て難い fact2: 収入増加が刳り抜かないとしたら立て難くない
fact1 -> hypothesis;
あの活動計画は立て難くない
fact3 -> int1: もし仮にあの活動計画が収入増加だけれど刳り抜かないならそれは立て難くない;
$facts$ = fact1: あの活動計画は立て難い fact2: 収入増加が刳り抜かないとしたら立て難くない ; $hypothesis$ = あの活動計画は立て難い ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: あの活動計画は立て難い
事実2: 収入増加が刳り抜かないとしたら立て難くない

仮説: あの活動計画は立て難い
1. 事実1から、仮説が導かれる

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