' (A =|> B), (A =|> C) |- (B =|> C) (Truth:Abduction) B>. C>. ''outputMustContain(' C>. %1.00;0.45%')