あの二年後はガードする
fact1: あの二年後はモアイである fact2: もしあの二年後はモアイであるとしたらガードする
$facts$ = fact1: あの二年後はモアイである fact2: もしあの二年後はモアイであるとしたらガードする ; $hypothesis$ = あの二年後はガードする ; $proof$ = 
事実1: あの二年後はモアイである
事実2: もしあの二年後はモアイであるとしたらガードする

仮説: あの二年後はガードする