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