あのエメラルドは専門大学でない
fact1: もし仮に「「弱くてまた木捻子でない」ということは嘘である」ものがあるならあのエメラルドは専門大学でない fact2: 「「弱いが木捻子でない」ということは誤っている」物はある
$facts$ = fact1: もし仮に「「弱くてまた木捻子でない」ということは嘘である」ものがあるならあのエメラルドは専門大学でない fact2: 「「弱いが木捻子でない」ということは誤っている」物はある ; $hypothesis$ = あのエメラルドは専門大学でない ; $proof$ = 
事実1: もし仮に「「弱くてまた木捻子でない」ということは嘘である」ものがあるならあのエメラルドは専門大学でない
事実2: 「「弱いが木捻子でない」ということは誤っている」物はある

仮説: あのエメラルドは専門大学でない