pub fn fact_inner(i: &str) -> IResult<&str, Fact, Error<'_>>