Charlie is kind. Dave is blue. Fiona is blue. Gary is nice. All nice, kind things are blue. All nice, red things are blue. If something is kind then it is nice. All cold, blue things are kind. All kind things are furry. If something is cold and red then it is white.
Fiona is not white.
@0: Charlie is kind.[(triple1)] Dave is blue.[(triple2)] Fiona is blue.[(triple3)] Gary is nice.[(triple4)] @1: Charlie is furry.[(((triple1) -> rule5))] Charlie is nice.[(((triple1) -> rule3))] @2: Charlie is blue.[(((((triple1) -> rule3) triple1) -> rule1))]