Bob is green. Dave is not kind. Fiona is cold. Gary is not white. If someone is cold and not green then they are round. Cold, green people are red. White people are not red. If someone is white and not cold then they are red. Green people are white. Red people are kind.
Bob is red.
@0: Bob is green.[(triple1)] Dave is not kind.[(triple2)] Fiona is cold.[(triple3)] Gary is not white.[(triple4)] @1: Bob is white.[(((triple1) -> rule5))] @2: Bob is not red.[(((((triple1) -> rule5)) -> rule3))]