Charlie is blue. Charlie is furry. Charlie is nice. Dave is blue. Dave is cold. Dave is nice. Fiona is furry. Fiona is nice. Fiona is not round. Harry is nice. All nice, young people are quiet. All cold people are young.
Harry is quiet.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is nice.[(triple3)] Dave is blue.[(triple4)] Dave is cold.[(triple5)] Dave is nice.[(triple6)] Fiona is furry.[(triple7)] Fiona is nice.[(triple8)] Fiona is not round.[(triple9)] Harry is nice.[(triple10)] @1: Dave is young.[(((triple5) -> rule2))] @2: Dave is quiet.[(((triple6 ((triple5) -> rule2)) -> rule1))]