Bob is not furry. Bob is round. Dave is not cold. Dave is nice. Fiona is cold. Fiona is red. Gary is not red. If someone is red then they are nice.
Gary is cold.
@0: Bob is not furry.[(triple1)] Bob is round.[(triple2)] Dave is nice.[(triple4)] Dave is not cold.[(triple3)] Fiona is cold.[(triple5)] Fiona is red.[(triple6)] Gary is not red.[(triple7)] @1: Fiona is nice.[(((triple6) -> rule1))]