Erin is not blue. Erin is kind. Fiona is kind. Fiona is round. Fiona is young. Harry is nice. Harry is young. If someone is white then they are young. Nice, young people are kind. Kind, young people are blue.
Erin is cold.
@0: Erin is kind.[(triple2)] Erin is not blue.[(triple1)] Fiona is kind.[(triple3)] Fiona is round.[(triple4)] Fiona is young.[(triple5)] Harry is nice.[(triple6)] Harry is young.[(triple7)] @1: Fiona is blue.[(((triple3 triple5) -> rule3))] Harry is kind.[(((triple6 triple7) -> rule2))] @2: Harry is blue.[(((((triple6 triple7) -> rule2) triple7) -> rule3))]