Anne is smart. Charlie is rough. If Anne is red and Anne is furry then Anne is smart. If something is nice then it is red. If something is smart and not rough then it is red. Red, nice things are furry. All rough things are nice. If Charlie is not rough and Charlie is not red then Charlie is white.
Charlie is rough.
@0: Anne is smart.[(triple1)] Charlie is rough.[(triple2)] @1: Charlie is nice.[(((triple2) -> rule5))] @2: Charlie is red.[(((((triple2) -> rule5)) -> rule2))] @3: Charlie is furry.[(((((((triple2) -> rule5)) -> rule2) ((triple2) -> rule5)) -> rule4))]