あのトーキーは酸っぱいということはない
fact1: 「もしもあのトーキーが与え易いとすればあのトーキーは酸っぱい」ということは成り立つ fact2: あのトーキーは与え易い
$facts$ = fact1: 「もしもあのトーキーが与え易いとすればあのトーキーは酸っぱい」ということは成り立つ fact2: あのトーキーは与え易い ; $hypothesis$ = あのトーキーは酸っぱいということはない ; $proof$ = 
事実1: 「もしもあのトーキーが与え易いとすればあのトーキーは酸っぱい」ということは成り立つ
事実2: あのトーキーは与え易い

仮説: あのトーキーは酸っぱいということはない