Gary is furry. Harry is furry. Harry is round. If something is cold then it is furry. If something is red then it is green. Young things are green. All furry things are red. Red things are not young. All green things are round.
Gary is furry.
@0: Gary is furry.[(triple1)] Harry is furry.[(triple2)] Harry is round.[(triple3 OR ((((((triple2) -> rule4)) -> rule2)) -> rule6))] @1: Gary is red.[(((triple1) -> rule4))] Harry is red.[(((triple2) -> rule4))] @2: Gary is green.[(((((triple1) -> rule4)) -> rule2))] Gary is not young.[(((((triple1) -> rule4)) -> rule5))] Harry is green.[(((((triple2) -> rule4)) -> rule2))] Harry is not young.[(((((triple2) -> rule4)) -> rule5))] @3: Gary is round.[(((((((triple1) -> rule4)) -> rule2)) -> rule6))]