Anne is furry. Charlie is not rough. Dave is young. Harry is furry. All young, rough things are green. Furry things are green. If something is round then it is nice. If something is kind and not young then it is not nice. All green things are kind. If something is nice and not green then it is kind. If something is nice and young then it is round. All nice things are round.
Dave is round.
@0: Anne is furry.[(triple1)] Charlie is not rough.[(triple2)] Dave is young.[(triple3)] Harry is furry.[(triple4)] @1: Anne is green.[(((triple1) -> rule2))] Harry is green.[(((triple4) -> rule2))] @2: Anne is kind.[(((((triple1) -> rule2)) -> rule5))] Harry is kind.[(((((triple4) -> rule2)) -> rule5))]