あの十年以上先はデコレーションする
fact1: その十九種類は競う fact2: もし仮にあの十年以上先は競うとすると「デコレーションする」ということは確かだ fact3: あの十年以上先は競う
$facts$ = fact1: その十九種類は競う fact2: もし仮にあの十年以上先は競うとすると「デコレーションする」ということは確かだ fact3: あの十年以上先は競う ; $hypothesis$ = あの十年以上先はデコレーションする ; $proof$ = 
事実1: その十九種類は競う
事実2: もし仮にあの十年以上先は競うとすると「デコレーションする」ということは確かだ
事実3: あの十年以上先は競う

仮説: あの十年以上先はデコレーションする