Dave is furry. Dave is green. Dave is kind. Dave is nice. Erin is blue. Erin is green. Erin is nice. If something is blue and kind then it is furry. Young, blue things are big. If something is young and furry then it is kind. Young things are blue. If Erin is furry then Erin is young. All furry, kind things are young.
Dave is not young.
@0: Dave is furry.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4)] Erin is blue.[(triple5)] Erin is green.[(triple6)] Erin is nice.[(triple7)] @1: Dave is young.[(((triple1 triple3) -> rule6))] @2: Dave is blue.[(((((triple1 triple3) -> rule6)) -> rule4))] @3: Dave is big.[(((((triple1 triple3) -> rule6) ((((triple1 triple3) -> rule6)) -> rule4)) -> rule2))]