Anne is cold. Charlie is kind. Fiona is round. Harry is cold. If something is quiet then it is round. If something is kind then it is green. All furry things are young. All kind, young things are green. Cold things are young. If something is green then it is quiet. If Fiona is round then Fiona is cold. If Anne is cold and Anne is quiet then Anne is furry.
Charlie is green.
@0: Anne is cold.[(triple1)] Charlie is kind.[(triple2)] Fiona is round.[(triple3)] Harry is cold.[(triple4)] @1: Anne is young.[(((triple1) -> rule5))] Charlie is green.[(((triple2) -> rule2))] Fiona is cold.[(((triple3) -> rule7))] Harry is young.[(((triple4) -> rule5))] @2: Charlie is quiet.[(((((triple2) -> rule2)) -> rule6))] Fiona is young.[(((((triple3) -> rule7)) -> rule5))] @3: Charlie is round.[(((((((triple2) -> rule2)) -> rule6)) -> rule1))]