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.
Erin is not round.
@0: Bob is smart.[(triple1)] Erin is round.[(triple2)] Gary is big.[(triple3)] Harry is white.[(triple4)]