Dave is furry. Dave is nice. Fiona is nice. Round things are young. All red things are young. Quiet, green things are young. Young things are round. All furry, nice things are red. If something is young and not furry then it is not red. All young things are red. All nice, quiet things are green.
Dave is round.
@0: Dave is furry.[(triple1)] Dave is nice.[(triple2)] Fiona is nice.[(triple3)] @1: Dave is red.[(((triple1 triple2) -> rule5))] @2: Dave is young.[(((((triple1 triple2) -> rule5)) -> rule2))] @3: Dave is round.[(((((((triple1 triple2) -> rule5)) -> rule2)) -> rule4))]