あのスフィンクスはきな臭くない
fact1: もし「あのスフィンクスは雑文でない」ということは成り立つとしたらそれはきな臭い fact2: あのスフィンクスは雑文でない
$facts$ = fact1: もし「あのスフィンクスは雑文でない」ということは成り立つとしたらそれはきな臭い fact2: あのスフィンクスは雑文でない ; $hypothesis$ = あのスフィンクスはきな臭くない ; $proof$ = 
事実1: もし「あのスフィンクスは雑文でない」ということは成り立つとしたらそれはきな臭い
事実2: あのスフィンクスは雑文でない

仮説: あのスフィンクスはきな臭くない