Dave is blue. If someone is nice and rough then they are furry. If someone is smart and not big then they are not furry. Blue people are rough. If Dave is rough and Dave is cold then Dave is smart. If Dave is nice and Dave is smart then Dave is furry. Rough people are nice.
Dave is not blue.
@0: Dave is blue.[(triple1)] @1: Dave is rough.[(((triple1) -> rule3))] @2: Dave is nice.[(((((triple1) -> rule3)) -> rule6))] @3: Dave is furry.[(((((((triple1) -> rule3)) -> rule6) ((triple1) -> rule3)) -> rule1))]