Dave is blue. Dave is not cold. Dave is round. Dave is not smart. Erin is not blue. Erin is not quiet. Erin is rough. Erin is round. Fiona is cold. Fiona is kind. Fiona is not round. Fiona is smart. If Dave is round then Dave is rough.
Erin is quiet.
@0: Dave is blue.[(triple1)] Dave is not cold.[(triple2)] Dave is not smart.[(triple4)] Dave is round.[(triple3)] Erin is not blue.[(triple5)] Erin is not quiet.[(triple6)] Erin is rough.[(triple7)] Erin is round.[(triple8)] Fiona is cold.[(triple9)] Fiona is kind.[(triple10)] Fiona is not round.[(triple11)] Fiona is smart.[(triple12)] @1: Dave is rough.[(((triple3) -> rule1))]