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