Charlie is cold. Charlie is green. Charlie is round. Dave is cold. Dave is smart. Erin is quiet. Erin is round. Erin is smart. Fiona is blue. Fiona is green. Cold people are blue.
Dave is quiet.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is round.[(triple3)] Dave is cold.[(triple4)] Dave is smart.[(triple5)] Erin is quiet.[(triple6)] Erin is round.[(triple7)] Erin is smart.[(triple8)] Fiona is blue.[(triple9)] Fiona is green.[(triple10)] @1: Charlie is blue.[(((triple1) -> rule1))] Dave is blue.[(((triple4) -> rule1))]