Anne is cold. Anne is kind. Anne is red. Charlie is kind. Charlie is quiet. Charlie is red. Erin is kind. Erin is quiet. Erin is rough. Gary is quiet. If something is furry and not red then it is rough. If Erin is not big then Erin is not quiet.
Charlie is quiet.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3)] Charlie is kind.[(triple4)] Charlie is quiet.[(triple5)] Charlie is red.[(triple6)] Erin is kind.[(triple7)] Erin is quiet.[(triple8)] Erin is rough.[(triple9)] Gary is quiet.[(triple10)]