Anne is red. Charlie is furry. Erin is cold. Gary is blue. If Erin is blue then Erin is furry. Furry, blue people are red. All round people are furry. All quiet, kind people are furry. All quiet people are round. If Gary is furry then Gary is kind.
Charlie is kind.
@0: Anne is red.[(triple1)] Charlie is furry.[(triple2)] Erin is cold.[(triple3)] Gary is blue.[(triple4)]