Bob is smart. Gary is blue. Gary is kind. If Bob is quiet then Bob is kind. Furry, smart things are quiet.
Bob is not smart.
@0: Bob is smart.[(triple1)] Gary is blue.[(triple2)] Gary is kind.[(triple3)]