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