Anne is furry. Dave is round. Fiona is furry. Harry is smart. All furry, green things are big. If something is smart and big then it is kind. Smart things are green. Big, round things are green. Big, round things are kind. If Dave is smart then Dave is furry.
Fiona is not kind.
@0: Anne is furry.[(triple1)] Dave is round.[(triple2)] Fiona is furry.[(triple3)] Harry is smart.[(triple4)] @1: Harry is green.[(((triple4) -> rule3))]