Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is not quiet. Bob is smart. If someone is cold and not quiet then they are green. If someone is smart and not furry then they are blue. If Bob is furry then Bob is green.
Bob is cold.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4 OR ((triple3) -> rule3) OR ((triple2 triple6) -> rule1))] Bob is kind.[(triple5)] Bob is not quiet.[(triple6)] Bob is smart.[(triple7)]