Bob is kind. Charlie is cold. Dave is red. Fiona is young. All young people are blue. All kind, nice people are young. Nice, blue people are white. All nice people are white. All nice, kind people are blue. All young, blue people are nice.
Fiona is not blue.
@0: Bob is kind.[(triple1)] Charlie is cold.[(triple2)] Dave is red.[(triple3)] Fiona is young.[(triple4)] @1: Fiona is blue.[(((triple4) -> rule1))] @2: Fiona is nice.[(((triple4 ((triple4) -> rule1)) -> rule6))] @3: Fiona is white.[(((((triple4 ((triple4) -> rule1)) -> rule6)) -> rule4) OR ((((triple4 ((triple4) -> rule1)) -> rule6) ((triple4) -> rule1)) -> rule3))]