あの八・八・二十二判夕は胆嚢壁でない
fact1: あの八・八・二十二判夕は養子先だ fact2: もし仮にあの八・八・二十二判夕が養子先なら胆嚢壁である
$facts$ = fact1: あの八・八・二十二判夕は養子先だ fact2: もし仮にあの八・八・二十二判夕が養子先なら胆嚢壁である ; $hypothesis$ = あの八・八・二十二判夕は胆嚢壁でない ; $proof$ = 
事実1: あの八・八・二十二判夕は養子先だ
事実2: もし仮にあの八・八・二十二判夕が養子先なら胆嚢壁である

仮説: あの八・八・二十二判夕は胆嚢壁でない