Anne is smart. Erin is red. Fiona is young. Harry is red. If someone is quiet and smart then they are cold. If someone is red then they are cold. Young people are red. All quiet, kind people are red. If someone is young and smart then they are green. All red, kind people are young. All cold, red people are green. If someone is quiet then they are young.
Fiona is green.
@0: Anne is smart.[(triple1)] Erin is red.[(triple2)] Fiona is young.[(triple3)] Harry is red.[(triple4)] @1: Erin is cold.[(((triple2) -> rule2))] Fiona is red.[(((triple3) -> rule3))] Harry is cold.[(((triple4) -> rule2))] @2: Erin is green.[(((((triple2) -> rule2) triple2) -> rule7))] Fiona is cold.[(((((triple3) -> rule3)) -> rule2))] Harry is green.[(((((triple4) -> rule2) triple4) -> rule7))] @3: Fiona is green.[(((((((triple3) -> rule3)) -> rule2) ((triple3) -> rule3)) -> rule7))]