Anne is quiet. Anne is round. Bob is green. Bob is rough. Bob is round. Dave is round. Erin is kind. If someone is cold and rough then they are round. Blue people are quiet. If someone is blue and green then they are rough.
Erin is not quiet.
@0: Anne is quiet.[(triple1)] Anne is round.[(triple2)] Bob is green.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5)] Dave is round.[(triple6)] Erin is kind.[(triple7)]