Charlie is green. Erin is green. Fiona is cold. Gary is white. Red things are green. Big, green things are furry. All rough things are green. All furry, green things are cold. If something is rough then it is big. If Fiona is furry then Fiona is rough. All big, rough things are green. If Erin is green and Erin is big then Erin is furry.
Charlie is rough.
@0: Charlie is green.[(triple1)] Erin is green.[(triple2)] Fiona is cold.[(triple3)] Gary is white.[(triple4)]