Anne is kind. Erin is round. Gary is round. Harry is round. Kind, smart things are cold. If something is furry and young then it is round. All smart things are furry. All kind, furry things are cold. If something is furry and smart then it is round. If something is green then it is smart. If something is furry and cold then it is young. All green things are round.
Erin is round.
@0: Anne is kind.[(triple1)] Erin is round.[(triple2)] Gary is round.[(triple3)] Harry is round.[(triple4)]