Bob is blue. Bob is cold. Bob is green. Bob is kind. Bob is quiet. Bob is red. Bob is smart. All red people are cold. If Bob is cold then Bob is quiet. Cold people are quiet.
Bob is not cold.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple6) -> rule1))] Bob is green.[(triple3)] Bob is kind.[(triple4)] Bob is quiet.[(triple5 OR ((triple2) -> rule2) OR ((triple2) -> rule3) OR ((((triple6) -> rule1)) -> rule2) OR ((((triple6) -> rule1)) -> rule3))] Bob is red.[(triple6)] Bob is smart.[(triple7)]