Anne is rough. Charlie is red. Fiona is not blue. All rough things are smart. All nice things are smart. All smart things are nice. If something is blue and not nice then it is red. If something is nice then it is red. If something is kind and not nice then it is not furry.
Fiona is not kind.
@0: Anne is rough.[(triple1)] Charlie is red.[(triple2)] Fiona is not blue.[(triple3)] @1: Anne is smart.[(((triple1) -> rule1))] @2: Anne is nice.[(((((triple1) -> rule1)) -> rule3))] @3: Anne is red.[(((((((triple1) -> rule1)) -> rule3)) -> rule5))]