Bob is big. Gary is not smart. Harry is big. Red things are big. If something is smart and not furry then it is not red.
Bob is big.
@0: Bob is big.[(triple1)] Gary is not smart.[(triple2)] Harry is big.[(triple3)]