あのシミュラークルは追い付ける
fact1: 「もしもあのシミュラークルがいじらしいならあのシミュラークルは追い付ける」ということは成り立つ fact2: あのシミュラークルはいじらしい
$facts$ = fact1: 「もしもあのシミュラークルがいじらしいならあのシミュラークルは追い付ける」ということは成り立つ fact2: あのシミュラークルはいじらしい ; $hypothesis$ = あのシミュラークルは追い付ける ; $proof$ = 
事実1: 「もしもあのシミュラークルがいじらしいならあのシミュラークルは追い付ける」ということは成り立つ
事実2: あのシミュラークルはいじらしい

仮説: あのシミュラークルは追い付ける