Anne is furry. Bob is young. Fiona is not white. Harry is not red. All white things are furry. If something is young then it is red. All furry, red things are not nice. Young things are white. If something is red and nice then it is cold. All nice, young things are kind.
Fiona is not nice.
@0: Anne is furry.[(triple1)] Bob is young.[(triple2)] Fiona is not white.[(triple3)] Harry is not red.[(triple4)] @1: Bob is red.[(((triple2) -> rule2))] Bob is white.[(((triple2) -> rule4))] @2: Bob is furry.[(((((triple2) -> rule4)) -> rule1))] @3: Bob is not nice.[(((((((triple2) -> rule4)) -> rule1) ((triple2) -> rule2)) -> rule3))]