Bob is big. Bob is red. Gary is smart. If someone is big and cold then they are kind. All blue people are red. All kind people are not smart.
Bob is not kind.
@0: Bob is big.[(triple1)] Bob is red.[(triple2)] Gary is smart.[(triple3)]