Bob is rough. Dave is cold. Dave is red. Erin is not big. Erin is blue. Erin is cold. Harry is cold. If Bob is not smart then Bob is red. If Bob is blue then Bob is red. If someone is blue and not smart then they are kind. All blue, rough people are not red. If someone is rough and not kind then they are cold. If Harry is blue and Harry is not kind then Harry is not big.
Erin is blue.
@0: Bob is rough.[(triple1)] Dave is cold.[(triple2)] Dave is red.[(triple3)] Erin is blue.[(triple5)] Erin is cold.[(triple6)] Erin is not big.[(triple4)] Harry is cold.[(triple7)]