「この引導は冗談っぽくてかつそれは正しい」ということは事実でない
fact1: もし仮にこの引導は回収ステーションでないとしたら「それは冗談っぽくておまけに正しい」ということは誤っている fact2: 「この引導は回収ステーションでない」ということは事実だ
$facts$ = fact1: もし仮にこの引導は回収ステーションでないとしたら「それは冗談っぽくておまけに正しい」ということは誤っている fact2: 「この引導は回収ステーションでない」ということは事実だ ; $hypothesis$ = 「この引導は冗談っぽくてかつそれは正しい」ということは事実でない ; $proof$ = 
事実1: もし仮にこの引導は回収ステーションでないとしたら「それは冗談っぽくておまけに正しい」ということは誤っている
事実2: 「この引導は回収ステーションでない」ということは事実だ

仮説: 「この引導は冗談っぽくてかつそれは正しい」ということは事実でない