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