Charlie is quiet. Dave is smart. Erin is quiet. If someone is cold then they are smart. Furry, smart people are rough. All cold people are rough. If someone is furry then they are smart. If Charlie is red then Charlie is rough. All furry people are kind.
Charlie is quiet.
@0: Charlie is quiet.[(triple1)] Dave is smart.[(triple2)] Erin is quiet.[(triple3)]