Anne is furry. Bob is kind. Gary is furry. Harry is blue. Big people are cold. If Anne is furry and Anne is round then Anne is big. All green people are round.
Gary is furry.
@0: Anne is furry.[(triple1)] Bob is kind.[(triple2)] Gary is furry.[(triple3)] Harry is blue.[(triple4)]