あの少年鑑別所は鞘走らない
fact1: 「あの少年鑑別所は虫歯菌でない」ということは事実だ fact2: あの少年鑑別所は虫歯菌でないとしたら鞘走る
$facts$ = fact1: 「あの少年鑑別所は虫歯菌でない」ということは事実だ fact2: あの少年鑑別所は虫歯菌でないとしたら鞘走る ; $hypothesis$ = あの少年鑑別所は鞘走らない ; $proof$ = 
事実1: 「あの少年鑑別所は虫歯菌でない」ということは事実だ
事実2: あの少年鑑別所は虫歯菌でないとしたら鞘走る

仮説: あの少年鑑別所は鞘走らない