このテキストボックス内は路上でない
fact1: あの企業規模は妬ましいとしたら「このテキストボックス内は路上だ」ということは正しい fact2: あの企業規模は妬ましい
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
$facts$ = fact1: あの企業規模は妬ましいとしたら「このテキストボックス内は路上だ」ということは正しい fact2: あの企業規模は妬ましい ; $hypothesis$ = このテキストボックス内は路上でない ; $proof$ = 
fact1 & fact2 -> hypothesis; __DISPROVED__
事実1: あの企業規模は妬ましいとしたら「このテキストボックス内は路上だ」ということは正しい
事実2: あの企業規模は妬ましい

仮説: このテキストボックス内は路上でない
1. 事実1と事実2から、仮説が否定される

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