このサラダ用は呼び覚ます
fact1: 「「飛び出し掛けないし反覆しない」ということは確かでない」ものはある fact2: もし「「飛び出し掛けないし反覆しない」ということは誤っている」ものがあるとすればあのサラダ用は呼び覚まさない
$facts$ = fact1: 「「飛び出し掛けないし反覆しない」ということは確かでない」ものはある fact2: もし「「飛び出し掛けないし反覆しない」ということは誤っている」ものがあるとすればあのサラダ用は呼び覚まさない ; $hypothesis$ = このサラダ用は呼び覚ます ; $proof$ = 
事実1: 「「飛び出し掛けないし反覆しない」ということは確かでない」ものはある
事実2: もし「「飛び出し掛けないし反覆しない」ということは誤っている」ものがあるとすればあのサラダ用は呼び覚まさない

仮説: このサラダ用は呼び覚ます