Anne is young. Bob is cold. Bob is red. Fiona is cold. Fiona is green. Fiona is red. Fiona is round. Young people are quiet. All round, young people are kind. Kind, round people are green. Quiet people are young. All quiet, round people are cold. If someone is young then they are kind.
Fiona is not cold.
@0: Anne is young.[(triple1)] Bob is cold.[(triple2)] Bob is red.[(triple3)] Fiona is cold.[(triple4)] Fiona is green.[(triple5)] Fiona is red.[(triple6)] Fiona is round.[(triple7)] @1: Anne is kind.[(((triple1) -> rule6))] Anne is quiet.[(((triple1) -> rule1))]