Bob is blue. Bob is cold. Bob is furry. Bob is kind. Bob is quiet. Bob is round. Bob is not young. All blue people are not young.
Bob is not cold.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is kind.[(triple4)] Bob is not young.[(triple7 OR ((triple1) -> rule1))] Bob is quiet.[(triple5)] Bob is round.[(triple6)]