Bob is quiet. Bob is red. Bob is rough. Bob is white. Charlie is red. Charlie is white. Erin is red. Harry is nice. Harry is quiet. Harry is red. Harry is rough. Harry is white. All furry, rough people are quiet. If someone is furry then they are red. If Erin is furry and Erin is red then Erin is nice.
Bob is cold.
@0: Bob is quiet.[(triple1)] Bob is red.[(triple2)] Bob is rough.[(triple3)] Bob is white.[(triple4)] Charlie is red.[(triple5)] Charlie is white.[(triple6)] Erin is red.[(triple7)] Harry is nice.[(triple8)] Harry is quiet.[(triple9)] Harry is red.[(triple10)] Harry is rough.[(triple11)] Harry is white.[(triple12)]