Dave is rough. All green, rough people are round. All round people are white. Rough people are young. All rough people are furry. If Dave is rough then Dave is red. If Dave is furry then Dave is green.
Dave is not rough.
@0: Dave is rough.[(triple1)] @1: Dave is furry.[(((triple1) -> rule4))] Dave is red.[(((triple1) -> rule5))] Dave is young.[(((triple1) -> rule3))] @2: Dave is green.[(((((triple1) -> rule4)) -> rule6))] @3: Dave is round.[(((((((triple1) -> rule4)) -> rule6) triple1) -> rule1))] @4: Dave is white.[(((((((((triple1) -> rule4)) -> rule6) triple1) -> rule1)) -> rule2))]