Erin is cold. Erin is nice. Erin is smart. Fiona is young. Harry is nice. Harry is rough. Harry is young. All cold, young people are green. If someone is green and cold then they are smart. If someone is nice and smart then they are green. If someone is white then they are smart. Rough people are white. All smart people are white.
Harry is not young.
@0: Erin is cold.[(triple1)] Erin is nice.[(triple2)] Erin is smart.[(triple3)] Fiona is young.[(triple4)] Harry is nice.[(triple5)] Harry is rough.[(triple6)] Harry is young.[(triple7)] @1: Erin is green.[(((triple2 triple3) -> rule3))] Erin is white.[(((triple3) -> rule6))] Harry is white.[(((triple6) -> rule5))] @2: Harry is smart.[(((((triple6) -> rule5)) -> rule4))] @3: Harry is green.[(((triple5 ((((triple6) -> rule5)) -> rule4)) -> rule3))]