「その八十ギガバイトプラッタはボイジャーでないかもしくは御見舞いするかもしくは両方ともだ」ということは誤りである
fact1: もしも「使い始める」物はあれば「その八十ギガバイトプラッタはボイジャーでないか御見舞いするか両方ともだ」ということは間違いだ fact2: 「使い始める」物はある
$facts$ = fact1: もしも「使い始める」物はあれば「その八十ギガバイトプラッタはボイジャーでないか御見舞いするか両方ともだ」ということは間違いだ fact2: 「使い始める」物はある ; $hypothesis$ = 「その八十ギガバイトプラッタはボイジャーでないかもしくは御見舞いするかもしくは両方ともだ」ということは誤りである ; $proof$ = 
事実1: もしも「使い始める」物はあれば「その八十ギガバイトプラッタはボイジャーでないか御見舞いするか両方ともだ」ということは間違いだ
事実2: 「使い始める」物はある

仮説: 「その八十ギガバイトプラッタはボイジャーでないかもしくは御見舞いするかもしくは両方ともだ」ということは誤りである