Bob is green. Dave is cold. Gary is young. Harry is kind. If Gary is blue and Gary is green then Gary is kind. If someone is blue and green then they are kind. If someone is kind and cold then they are green. Furry, cold people are blue. All kind people are blue. All blue people are young. If someone is big and young then they are furry. Cold people are young.
Gary is not furry.
@0: Bob is green.[(triple1)] Dave is cold.[(triple2)] Gary is young.[(triple3)] Harry is kind.[(triple4)] @1: Dave is young.[(((triple2) -> rule8))] Harry is blue.[(((triple4) -> rule5))] @2: Harry is young.[(((((triple4) -> rule5)) -> rule6))]