このシックス参照は嬉しい
fact1: 「このシックス参照は如何様師だ一方で嬉しくない」ということは確かである
$facts$ = fact1: 「このシックス参照は如何様師だ一方で嬉しくない」ということは確かである ; $hypothesis$ = このシックス参照は嬉しい ; $proof$ = 
事実1: 「このシックス参照は如何様師だ一方で嬉しくない」ということは確かである

仮説: このシックス参照は嬉しい