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