「その原稿用紙ウィザードは強いが懐っこくない」ということは誤りである
fact1: もしもその原稿用紙ウィザードは言い足さないとすると「それは強いが懐っこくない」ということは確かでない fact2: その原稿用紙ウィザードは言い足さない
$facts$ = fact1: もしもその原稿用紙ウィザードは言い足さないとすると「それは強いが懐っこくない」ということは確かでない fact2: その原稿用紙ウィザードは言い足さない ; $hypothesis$ = 「その原稿用紙ウィザードは強いが懐っこくない」ということは誤りである ; $proof$ = 
事実1: もしもその原稿用紙ウィザードは言い足さないとすると「それは強いが懐っこくない」ということは確かでない
事実2: その原稿用紙ウィザードは言い足さない

仮説: 「その原稿用紙ウィザードは強いが懐っこくない」ということは誤りである