Anne is round. Anne is young. Charlie is furry. Charlie is kind. Gary is furry. Gary is nice. Gary is rough. If Anne is kind and Anne is nice then Anne is furry. Big, furry people are round. If someone is furry and young then they are rough.
Gary is not rough.
@0: Anne is round.[(triple1)] Anne is young.[(triple2)] Charlie is furry.[(triple3)] Charlie is kind.[(triple4)] Gary is furry.[(triple5)] Gary is nice.[(triple6)] Gary is rough.[(triple7)]