Anne is cold. Anne is young. Dave is cold. Dave is furry. Dave is rough. Dave is white. Dave is young. Erin is young. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is young. All furry people are green. Furry, white people are quiet.
Erin is cold.
@0: Anne is cold.[(triple1)] Anne is young.[(triple2)] Dave is cold.[(triple3)] Dave is furry.[(triple4)] Dave is rough.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7)] Erin is young.[(triple8)] Fiona is cold.[(triple9)] Fiona is green.[(triple10)] Fiona is quiet.[(triple11)] Fiona is young.[(triple12)] @1: Dave is green.[(((triple4) -> rule1))] Dave is quiet.[(((triple4 triple6) -> rule2))]