Charlie is kind. Erin is cold. If someone is white then they are kind. All cold, smart people are young. All cold people are smart. All green people are young. Young people are kind. If someone is young and smart then they are kind.
Erin is not cold.
@0: Charlie is kind.[(triple1)] Erin is cold.[(triple2)] @1: Erin is smart.[(((triple2) -> rule3))] @2: Erin is young.[(((triple2 ((triple2) -> rule3)) -> rule2))] @3: Erin is kind.[(((((triple2 ((triple2) -> rule3)) -> rule2)) -> rule5) OR ((((triple2 ((triple2) -> rule3)) -> rule2) ((triple2) -> rule3)) -> rule6))]