「あの手長猿は嫌味っぽい」ということは真実である
fact1: もしあの手長猿は誑かすなら「それは嫌味っぽい」ということは成り立つ fact2: 「あの手長猿は誑かす」ということは真実だ fact3: 「その音声国語は誑かす」ということは真実だ
$facts$ = fact1: もしあの手長猿は誑かすなら「それは嫌味っぽい」ということは成り立つ fact2: 「あの手長猿は誑かす」ということは真実だ fact3: 「その音声国語は誑かす」ということは真実だ ; $hypothesis$ = 「あの手長猿は嫌味っぽい」ということは真実である ; $proof$ = 
事実1: もしあの手長猿は誑かすなら「それは嫌味っぽい」ということは成り立つ
事実2: 「あの手長猿は誑かす」ということは真実だ
事実3: 「その音声国語は誑かす」ということは真実だ

仮説: 「あの手長猿は嫌味っぽい」ということは真実である