Bob is big. Erin is blue. Gary is big. Gary is blue. Gary is nice. Gary is smart. Harry is nice. If Harry is blue then Harry is nice. If someone is kind and blue then they are big.
Gary is nice.
@0: Bob is big.[(triple1)] Erin is blue.[(triple2)] Gary is big.[(triple3)] Gary is blue.[(triple4)] Gary is nice.[(triple5)] Gary is smart.[(triple6)] Harry is nice.[(triple7)]