Bob is furry. Gary is smart. Harry is big. If someone is kind and green then they are furry. If someone is green and kind then they are smart. Round people are big. If someone is green then they are kind. If someone is round and rough then they are big. If Gary is round and Gary is rough then Gary is big.
Bob is not kind.
@0: Bob is furry.[(triple1)] Gary is smart.[(triple2)] Harry is big.[(triple3)]