Bob is cold. Charlie is blue. Fiona is not cold. If someone is green then they are round. All furry, young people are round. If Fiona is young and Fiona is green then Fiona is kind. If someone is furry then they are young. If someone is cold then they are furry. If someone is furry and not cold then they are kind. If someone is round then they are kind. If someone is green and not kind then they are blue.
Fiona is green.
@0: Bob is cold.[(triple1)] Charlie is blue.[(triple2)] Fiona is not cold.[(triple3)] @1: Bob is furry.[(((triple1) -> rule5))] @2: Bob is young.[(((((triple1) -> rule5)) -> rule4))] @3: Bob is round.[(((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule4)) -> rule2))] @4: Bob is kind.[(((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule4)) -> rule2)) -> rule7))]