その金獅子亭は静態化する
fact1: 「「欠如であるし更に簡単過ぎる」ということは誤っている」ものはある fact2: もし「「欠如でおまけに簡単過ぎる」ということは偽である」物があるとすればその金獅子亭は静態化しない
$facts$ = fact1: 「「欠如であるし更に簡単過ぎる」ということは誤っている」ものはある fact2: もし「「欠如でおまけに簡単過ぎる」ということは偽である」物があるとすればその金獅子亭は静態化しない ; $hypothesis$ = その金獅子亭は静態化する ; $proof$ = 
事実1: 「「欠如であるし更に簡単過ぎる」ということは誤っている」ものはある
事実2: もし「「欠如でおまけに簡単過ぎる」ということは偽である」物があるとすればその金獅子亭は静態化しない

仮説: その金獅子亭は静態化する