「「第一王子だとすれば滴下する」物はある」ということは成り立たない
fact1: 「仮に暑いなら思い浮かぶ」物はある fact2: このポビドンヨードが搾取するなら第一王子である fact3: このポビドンヨードは第一王子だとすれば「滴下する」ということは確かである
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: 「仮に暑いなら思い浮かぶ」物はある fact2: このポビドンヨードが搾取するなら第一王子である fact3: このポビドンヨードは第一王子だとすれば「滴下する」ということは確かである ; $hypothesis$ = 「「第一王子だとすれば滴下する」物はある」ということは成り立たない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: 「仮に暑いなら思い浮かぶ」物はある
事実2: このポビドンヨードが搾取するなら第一王子である
事実3: このポビドンヨードは第一王子だとすれば「滴下する」ということは確かである

仮説: 「「第一王子だとすれば滴下する」物はある」ということは成り立たない
1. 事実3から、仮説が否定される

よって、仮説が否定されました。