「このザ・ボディショップは拾わないが出生届けだ」ということは事実でない
fact1: 「このザ・ボディショップは大腸である」ということは真実である fact2: もしこのザ・ボディショップが大腸ならばそれが拾わないしさらに出生届けだ
$facts$ = fact1: 「このザ・ボディショップは大腸である」ということは真実である fact2: もしこのザ・ボディショップが大腸ならばそれが拾わないしさらに出生届けだ ; $hypothesis$ = 「このザ・ボディショップは拾わないが出生届けだ」ということは事実でない ; $proof$ = 
事実1: 「このザ・ボディショップは大腸である」ということは真実である
事実2: もしこのザ・ボディショップが大腸ならばそれが拾わないしさらに出生届けだ

仮説: 「このザ・ボディショップは拾わないが出生届けだ」ということは事実でない