Dave is big. Dave is furry. Dave is smart. If Dave is nice and Dave is furry then Dave is blue. Young people are blue. All big people are nice. All white, nice people are young. Blue people are white. All blue people are furry. Young people are white. If Dave is nice and Dave is white then Dave is big.
Dave is not white.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is smart.[(triple3)] @1: Dave is nice.[(((triple1) -> rule3))] @2: Dave is blue.[(((((triple1) -> rule3) triple2) -> rule1))] @3: Dave is white.[(((((((triple1) -> rule3) triple2) -> rule1)) -> rule5))] @4: Dave is young.[(((((((((triple1) -> rule3) triple2) -> rule1)) -> rule5) ((triple1) -> rule3)) -> rule4))]