Dave is cold. Dave is round. Erin is blue. Erin is cold. Erin is kind. Harry is not blue. Harry is round. If Harry is round and Harry is furry then Harry is kind. If something is blue then it is green.
Erin is not blue.
@0: Dave is cold.[(triple1)] Dave is round.[(triple2)] Erin is blue.[(triple3)] Erin is cold.[(triple4)] Erin is kind.[(triple5)] Harry is not blue.[(triple6)] Harry is round.[(triple7)] @1: Erin is green.[(((triple3) -> rule2))]