Anne is not cold. Dave is young. Fiona is not cold. Gary is round. All kind things are red. Kind, red things are round. If something is young then it is round. If something is white then it is young. If something is cold and not young then it is furry. If Dave is white and Dave is not red then Dave is furry.
Anne is not cold.
@0: Anne is not cold.[(triple1)] Dave is young.[(triple2)] Fiona is not cold.[(triple3)] Gary is round.[(triple4)] @1: Dave is round.[(((triple2) -> rule3))]