「「このこいこいはＡＡＡＡであるしまたそれは眠い」ということは本当である」ということは間違いだ
fact1: もしもこのこいこいは親らしくないとすれば「ＡＡＡＡでそれにそれは眠い」ということは誤っている fact2: このこいこいは親らしくない
$facts$ = fact1: もしもこのこいこいは親らしくないとすれば「ＡＡＡＡでそれにそれは眠い」ということは誤っている fact2: このこいこいは親らしくない ; $hypothesis$ = 「「このこいこいはＡＡＡＡであるしまたそれは眠い」ということは本当である」ということは間違いだ ; $proof$ = 
事実1: もしもこのこいこいは親らしくないとすれば「ＡＡＡＡでそれにそれは眠い」ということは誤っている
事実2: このこいこいは親らしくない

仮説: 「「このこいこいはＡＡＡＡであるしまたそれは眠い」ということは本当である」ということは間違いだ