そのパーソナルコンピュータは大歓迎しない一方で萎む
fact1: そのパーソナルコンピュータは大歓迎しないけど萎む
$facts$ = fact1: そのパーソナルコンピュータは大歓迎しないけど萎む ; $hypothesis$ = そのパーソナルコンピュータは大歓迎しない一方で萎む ; $proof$ = 
事実1: そのパーソナルコンピュータは大歓迎しないけど萎む

仮説: そのパーソナルコンピュータは大歓迎しない一方で萎む