このエバリューションは擦れ合うということはない
fact1: 仮にあの空目が荒くれるけれどデスクトップでないならばあのエバリューションは擦れ合わない fact2: あの空目は荒くれる一方でデスクトップであるということはない
$facts$ = fact1: 仮にあの空目が荒くれるけれどデスクトップでないならばあのエバリューションは擦れ合わない fact2: あの空目は荒くれる一方でデスクトップであるということはない ; $hypothesis$ = このエバリューションは擦れ合うということはない ; $proof$ = 
事実1: 仮にあの空目が荒くれるけれどデスクトップでないならばあのエバリューションは擦れ合わない
事実2: あの空目は荒くれる一方でデスクトップであるということはない

仮説: このエバリューションは擦れ合うということはない