Anne is furry. Anne is round. Anne is smart. Anne is white. Charlie is furry. Charlie is red. Charlie is round. Erin is furry. Erin is green. Erin is round. Erin is smart. Gary is furry. Gary is kind. Gary is round. Gary is white. If Gary is round and Gary is green then Gary is kind.
Gary is smart.
@0: Anne is furry.[(triple1)] Anne is round.[(triple2)] Anne is smart.[(triple3)] Anne is white.[(triple4)] Charlie is furry.[(triple5)] Charlie is red.[(triple6)] Charlie is round.[(triple7)] Erin is furry.[(triple8)] Erin is green.[(triple9)] Erin is round.[(triple10)] Erin is smart.[(triple11)] Gary is furry.[(triple12)] Gary is kind.[(triple13)] Gary is round.[(triple14)] Gary is white.[(triple15)]