Bob is smart. Erin is round. Gary is big. Harry is white. All furry, big people are green. If Gary is round and Gary is furry then Gary is smart.
Gary is big.
@0: Bob is smart.[(triple1)] Erin is round.[(triple2)] Gary is big.[(triple3)] Harry is white.[(triple4)]