Anne is cold. Charlie is big. Erin is kind. Gary is cold. All kind, nice things are cold. All big things are nice. If something is furry then it is green. If something is nice then it is big. If Gary is big then Gary is young. If Erin is young then Erin is kind. Green things are kind. All green things are young.
Anne is furry.
@0: Anne is cold.[(triple1)] Charlie is big.[(triple2)] Erin is kind.[(triple3)] Gary is cold.[(triple4)] @1: Charlie is nice.[(((triple2) -> rule2))]