Dave is red. Erin is white. Fiona is young. If something is cold then it is smart. Young things are kind. If something is smart and rough then it is cold. All smart things are rough. All smart things are young. All rough, smart things are white.
Fiona is not young.
@0: Dave is red.[(triple1)] Erin is white.[(triple2)] Fiona is young.[(triple3)] @1: Fiona is kind.[(((triple3) -> rule2))]