「そのミドルアイアンは一二分一カップでないけどそれは怖い」ということは誤りだ
fact1: そのミドルアイアンは詩選だ fact2: 仮にそのミドルアイアンは詩選なら「一二分一カップでないし更に怖い」ということは誤っている
$facts$ = fact1: そのミドルアイアンは詩選だ fact2: 仮にそのミドルアイアンは詩選なら「一二分一カップでないし更に怖い」ということは誤っている ; $hypothesis$ = 「そのミドルアイアンは一二分一カップでないけどそれは怖い」ということは誤りだ ; $proof$ = 
事実1: そのミドルアイアンは詩選だ
事実2: 仮にそのミドルアイアンは詩選なら「一二分一カップでないし更に怖い」ということは誤っている

仮説: 「そのミドルアイアンは一二分一カップでないけどそれは怖い」ということは誤りだ