Charlie is cold. Charlie is kind. Charlie is smart. Dave is not furry. Fiona is not kind. Fiona is nice. Harry is cold. Nice people are furry. If someone is furry and young then they are green. Kind people are young.
Charlie is cold.
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2)] Charlie is smart.[(triple3)] Dave is not furry.[(triple4)] Fiona is nice.[(triple6)] Fiona is not kind.[(triple5)] Harry is cold.[(triple7)] @1: Charlie is young.[(((triple2) -> rule3))] Fiona is furry.[(((triple6) -> rule1))]