Anne is nice. Anne is young. Charlie is not big. Charlie is green. Erin is cold. Erin is green. Gary is not round. If something is furry and big then it is not green. If something is green and not cold then it is young. Furry things are big.
Charlie is green.
@0: Anne is nice.[(triple1)] Anne is young.[(triple2)] Charlie is green.[(triple4)] Charlie is not big.[(triple3)] Erin is cold.[(triple5)] Erin is green.[(triple6)] Gary is not round.[(triple7)]