Bob is kind. Bob is round. Erin is cold. Erin is kind. Erin is red. Erin is white. Gary is kind. Gary is round. Gary is white. Harry is kind. Harry is red. Harry is round. If Bob is rough then Bob is kind.
Gary is not red.
@0: Bob is kind.[(triple1)] Bob is round.[(triple2)] Erin is cold.[(triple3)] Erin is kind.[(triple4)] Erin is red.[(triple5)] Erin is white.[(triple6)] Gary is kind.[(triple7)] Gary is round.[(triple8)] Gary is white.[(triple9)] Harry is kind.[(triple10)] Harry is red.[(triple11)] Harry is round.[(triple12)]