Anne is blue. Charlie is furry. Erin is blue. Gary is big. Kind, blue things are big. If something is kind and furry then it is white. Nice things are furry. All big, nice things are white. Big, nice things are kind. All nice things are white. If something is kind and nice then it is big. If Charlie is blue and Charlie is white then Charlie is kind.
Charlie is not furry.
@0: Anne is blue.[(triple1)] Charlie is furry.[(triple2)] Erin is blue.[(triple3)] Gary is big.[(triple4)]