あの住所入力カードは心苦しくない
fact1: もしもその救い主が規則正しいとしたらあの住所入力カードは心苦しい fact2: その救い主は規則正しい
$facts$ = fact1: もしもその救い主が規則正しいとしたらあの住所入力カードは心苦しい fact2: その救い主は規則正しい ; $hypothesis$ = あの住所入力カードは心苦しくない ; $proof$ = 
事実1: もしもその救い主が規則正しいとしたらあの住所入力カードは心苦しい
事実2: その救い主は規則正しい

仮説: あの住所入力カードは心苦しくない