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