このレッドソックスは取り辛くない
fact1: このレッドソックスは引き替える fact2: このレッドソックスは引き替えるしまた取り辛い
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: このレッドソックスは引き替える fact2: このレッドソックスは引き替えるしまた取り辛い ; $hypothesis$ = このレッドソックスは取り辛くない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: このレッドソックスは引き替える
事実2: このレッドソックスは引き替えるしまた取り辛い

仮説: このレッドソックスは取り辛くない
1. 事実2から、仮説が否定される

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