このベイカー・ストリートは甲羅でない
fact1: 「このベイカー・ストリートは甲羅であるしチェックアウトする」ということは成り立つ
$facts$ = fact1: 「このベイカー・ストリートは甲羅であるしチェックアウトする」ということは成り立つ ; $hypothesis$ = このベイカー・ストリートは甲羅でない ; $proof$ = 
事実1: 「このベイカー・ストリートは甲羅であるしチェックアウトする」ということは成り立つ

仮説: このベイカー・ストリートは甲羅でない