Bob is cold. Bob is quiet. Bob is white. Dave is big. Dave is cold. Gary is not quiet. Harry is not smart. All nice people are white. All quiet people are white. If Harry is cold and Harry is not nice then Harry is white. If Gary is smart and Gary is cold then Gary is white. If Gary is big then Gary is green. All quiet, smart people are cold. If Dave is quiet and Dave is white then Dave is not green. If Dave is white and Dave is not cold then Dave is not big.
Dave is green.
@0: Bob is cold.[(triple1)] Bob is quiet.[(triple2)] Bob is white.[(triple3 OR ((triple2) -> rule2))] Dave is big.[(triple4)] Dave is cold.[(triple5)] Gary is not quiet.[(triple6)] Harry is not smart.[(triple7)]