Charlie is cold. Dave is blue. Gary is not cold. Harry is green. All green people are furry. If someone is cold and blue then they are round. If someone is big and blue then they are round. If Harry is round and Harry is not cold then Harry is blue. If Harry is big then Harry is blue. All furry people are not blue. If someone is cold and not furry then they are blue. If someone is cold and not blue then they are red.
Dave is not blue.
@0: Charlie is cold.[(triple1)] Dave is blue.[(triple2)] Gary is not cold.[(triple3)] Harry is green.[(triple4)] @1: Harry is furry.[(((triple4) -> rule1))] @2: Harry is not blue.[(((((triple4) -> rule1)) -> rule6))]