Bob is nice. Erin is nice. Fiona is rough. Rough things are blue. If something is cold then it is not white. Young things are furry. If something is young and rough then it is cold. All blue things are not young. If something is furry and not blue then it is young. White things are not nice. If something is white and not furry then it is nice.
Fiona is white.
@0: Bob is nice.[(triple1)] Erin is nice.[(triple2)] Fiona is rough.[(triple3)] @1: Fiona is blue.[(((triple3) -> rule1))] @2: Fiona is not young.[(((((triple3) -> rule1)) -> rule5))]