Bob is nice. Erin is green. Erin is kind. Fiona is not green. Fiona is white. Harry is quiet. Harry is young. If someone is white and quiet then they are cold. If Harry is nice then Harry is cold. All quiet people are white.
Harry is not white.
@0: Bob is nice.[(triple1)] Erin is green.[(triple2)] Erin is kind.[(triple3)] Fiona is not green.[(triple4)] Fiona is white.[(triple5)] Harry is quiet.[(triple6)] Harry is young.[(triple7)] @1: Harry is white.[(((triple6) -> rule3))] @2: Harry is cold.[(((((triple6) -> rule3) triple6) -> rule1))]