Bob is not blue. Bob is not cold. Bob is nice. Bob is quiet. Gary is green. Gary is quiet. Gary is young. All cold, nice things are young. All green, quiet things are furry. If something is furry then it is cold. All green, furry things are quiet. If Bob is green then Bob is quiet. All cold, nice things are blue. If something is nice and not furry then it is not blue. If something is green and cold then it is blue.
Gary is cold.
@0: Bob is nice.[(triple3)] Bob is not blue.[(triple1)] Bob is not cold.[(triple2)] Bob is quiet.[(triple4)] Gary is green.[(triple5)] Gary is quiet.[(triple6)] Gary is young.[(triple7)] @1: Gary is furry.[(((triple5 triple6) -> rule2))] @2: Gary is cold.[(((((triple5 triple6) -> rule2)) -> rule3))] @3: Gary is blue.[(((triple5 ((((triple5 triple6) -> rule2)) -> rule3)) -> rule8))]