Anne is cold. Bob is cold. Dave is kind. Gary is quiet. Cold people are smart. Young, smart people are kind. Smart people are kind. All quiet people are nice. If someone is cold then they are white. Nice people are smart.
Gary is nice.
@0: Anne is cold.[(triple1)] Bob is cold.[(triple2)] Dave is kind.[(triple3)] Gary is quiet.[(triple4)] @1: Anne is smart.[(((triple1) -> rule1))] Anne is white.[(((triple1) -> rule5))] Bob is smart.[(((triple2) -> rule1))] Bob is white.[(((triple2) -> rule5))] Gary is nice.[(((triple4) -> rule4))] @2: Anne is kind.[(((((triple1) -> rule1)) -> rule3))] Bob is kind.[(((((triple2) -> rule1)) -> rule3))] Gary is smart.[(((((triple4) -> rule4)) -> rule6))] @3: Gary is kind.[(((((((triple4) -> rule4)) -> rule6)) -> rule3))]