Bob is kind. Dave is white. Erin is round. Harry is cold. If Dave is white then Dave is blue.
Dave is blue.
@0: Bob is kind.[(triple1)] Dave is white.[(triple2)] Erin is round.[(triple3)] Harry is cold.[(triple4)] @1: Dave is blue.[(((triple2) -> rule1))]