Bob is young. Charlie is cold. Fiona is white. Harry is furry. Green people are white. If Fiona is furry and Fiona is not green then Fiona is cold. If Harry is cold and Harry is round then Harry is green. If someone is furry and green then they are red. If someone is young then they are red. If someone is cold and not furry then they are young. All green people are young. If someone is cold and not green then they are young.
Bob is not green.
@0: Bob is young.[(triple1)] Charlie is cold.[(triple2)] Fiona is white.[(triple3)] Harry is furry.[(triple4)] @1: Bob is red.[(((triple1) -> rule5))]