「もし仮に「その蔓はレコード屋であるけど見間違えらない」ということは嘘だとすればその蔓は養嗣子だ」ということは誤っている
fact1: もし「なにがしかのものはレコード屋である一方でそれは見間違えらない」ということは成り立たないとするとそれは養嗣子である
$facts$ = fact1: もし「なにがしかのものはレコード屋である一方でそれは見間違えらない」ということは成り立たないとするとそれは養嗣子である ; $hypothesis$ = 「もし仮に「その蔓はレコード屋であるけど見間違えらない」ということは嘘だとすればその蔓は養嗣子だ」ということは誤っている ; $proof$ = 
事実1: もし「なにがしかのものはレコード屋である一方でそれは見間違えらない」ということは成り立たないとするとそれは養嗣子である

仮説: 「もし仮に「その蔓はレコード屋であるけど見間違えらない」ということは嘘だとすればその蔓は養嗣子だ」ということは誤っている