@prefix : . { ?x :loves ?y } => { ?x :knows ?y } .