Charlie is cold. Dave is green. Erin is green. Fiona is green. Red, green things are furry. If Charlie is green then Charlie is round. If something is rough then it is cold. Rough, round things are furry. If Dave is red and Dave is round then Dave is green. If Fiona is green then Fiona is cold. All furry things are kind. If something is furry then it is kind.
Dave is round.
@0: Charlie is cold.[(triple1)] Dave is green.[(triple2)] Erin is green.[(triple3)] Fiona is green.[(triple4)] @1: Fiona is cold.[(((triple4) -> rule6))]