Bob is cold. Erin is white. Gary is red. Harry is white. If Harry is white then Harry is not green. If someone is smart then they are white.
Harry is white.
@0: Bob is cold.[(triple1)] Erin is white.[(triple2)] Gary is red.[(triple3)] Harry is white.[(triple4)] @1: Harry is not green.[(((triple4) -> rule1))]