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