Dave is not furry. Dave is green. Dave is young. Furry things are blue. Young, green things are blue. All round things are furry. Round things are big. All red things are green. All round, furry things are green.
Dave is round.
@0: Dave is green.[(triple2)] Dave is not furry.[(triple1)] Dave is young.[(triple3)] @1: Dave is blue.[(((triple3 triple2) -> rule2))]