Charlie is cold. Charlie is furry. Charlie is quiet. Dave is blue. Dave is cold. Dave is nice. Dave is quiet. Erin is cold. Erin is furry. Erin is round. Erin is young. Fiona is furry. Fiona is nice. Fiona is round. Fiona is young. If something is quiet and nice then it is young.
Erin is quiet.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is quiet.[(triple3)] Dave is blue.[(triple4)] Dave is cold.[(triple5)] Dave is nice.[(triple6)] Dave is quiet.[(triple7)] Erin is cold.[(triple8)] Erin is furry.[(triple9)] Erin is round.[(triple10)] Erin is young.[(triple11)] Fiona is furry.[(triple12)] Fiona is nice.[(triple13)] Fiona is round.[(triple14)] Fiona is young.[(triple15)] @1: Dave is young.[(((triple7 triple6) -> rule1))]