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