あの第二ルール群は再度であるし提出出来る
fact1: あの第二ルール群は再度だ fact2: あの第二ルール群は提出出来る
$facts$ = fact1: あの第二ルール群は再度だ fact2: あの第二ルール群は提出出来る ; $hypothesis$ = あの第二ルール群は再度であるし提出出来る ; $proof$ = 
事実1: あの第二ルール群は再度だ
事実2: あの第二ルール群は提出出来る

仮説: あの第二ルール群は再度であるし提出出来る