Anne is red. Bob is rough. Fiona is not blue. Gary is not young. Kind things are furry. Rough things are cold. If something is furry and rough then it is young. If something is cold and not blue then it is young. If something is cold then it is kind. If Gary is not blue then Gary is not red.
Bob is cold.
@0: Anne is red.[(triple1)] Bob is rough.[(triple2)] Fiona is not blue.[(triple3)] Gary is not young.[(triple4)] @1: Bob is cold.[(((triple2) -> rule2))] @2: Bob is kind.[(((((triple2) -> rule2)) -> rule5))] @3: Bob is furry.[(((((((triple2) -> rule2)) -> rule5)) -> rule1))] @4: Bob is young.[(((((((((triple2) -> rule2)) -> rule5)) -> rule1) triple2) -> rule3))]