Bob is blue. Bob is cold. Bob is not kind. Bob is not quiet. Bob is red. Bob is white. Bob is young. If someone is blue then they are young.
Bob is kind.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is not kind.[(triple3)] Bob is not quiet.[(triple4)] Bob is red.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7 OR ((triple1) -> rule1))]