Dave is blue. Erin is white. Gary is not round. All white things are furry. All smart, big things are furry. All furry things are young. If something is round and not blue then it is not young. All blue things are white. If something is round and not blue then it is white. If something is white and not round then it is not smart. If something is round then it is smart.
Dave is white.
@0: Dave is blue.[(triple1)] Erin is white.[(triple2)] Gary is not round.[(triple3)] @1: Dave is white.[(((triple1) -> rule5))] Erin is furry.[(((triple2) -> rule1))] @2: Dave is furry.[(((((triple1) -> rule5)) -> rule1))] Erin is young.[(((((triple2) -> rule1)) -> rule3))] @3: Dave is young.[(((((((triple1) -> rule5)) -> rule1)) -> rule3))]