その爬虫は切り離し難いけど手向かわない
fact1: その爬虫は変え難くないならば「切り離し難いけど手向かわない」ということは間違っている fact2: その爬虫は変え難くない
$facts$ = fact1: その爬虫は変え難くないならば「切り離し難いけど手向かわない」ということは間違っている fact2: その爬虫は変え難くない ; $hypothesis$ = その爬虫は切り離し難いけど手向かわない ; $proof$ = 
事実1: その爬虫は変え難くないならば「切り離し難いけど手向かわない」ということは間違っている
事実2: その爬虫は変え難くない

仮説: その爬虫は切り離し難いけど手向かわない