Charlie is young. Dave is quiet. Fiona is quiet. Gary is round. All furry things are not quiet. Young things are furry. Rough, young things are furry. If something is cold and not young then it is round. All rough things are not smart. All round things are not smart. If something is round then it is cold. If Dave is round then Dave is rough.
Dave is quiet.
@0: Charlie is young.[(triple1)] Dave is quiet.[(triple2)] Fiona is quiet.[(triple3)] Gary is round.[(triple4)] @1: Charlie is furry.[(((triple1) -> rule2))] Gary is cold.[(((triple4) -> rule7))] Gary is not smart.[(((triple4) -> rule6))] @2: Charlie is not quiet.[(((((triple1) -> rule2)) -> rule1))]