Harry is blue. Harry is green. Harry is smart. Green, smart things are cold. All smart, quiet things are furry. If Harry is cold then Harry is furry. If something is young then it is quiet. Blue things are smart. All furry, blue things are young. If something is quiet and furry then it is green. If something is green and smart then it is furry.
Harry is young.
@0: Harry is blue.[(triple1)] Harry is green.[(triple2)] Harry is smart.[(triple3 OR ((triple1) -> rule5))] @1: Harry is cold.[(((triple2 triple3) -> rule1) OR ((triple2 ((triple1) -> rule5)) -> rule1))] Harry is furry.[(((triple2 triple3) -> rule8) OR ((((triple2 triple3) -> rule1)) -> rule3) OR ((triple2 ((triple1) -> rule5)) -> rule8) OR ((((triple2 ((triple1) -> rule5)) -> rule1)) -> rule3))] @2: Harry is young.[(((((triple2 triple3) -> rule8) triple1) -> rule6) OR ((((((triple2 triple3) -> rule1)) -> rule3) triple1) -> rule6) OR ((((triple2 ((triple1) -> rule5)) -> rule8) triple1) -> rule6) OR ((((((triple2 ((triple1) -> rule5)) -> rule1)) -> rule3) triple1) -> rule6))] @3: Harry is quiet.[(((((((triple2 triple3) -> rule8) triple1) -> rule6)) -> rule4) OR ((((((((triple2 triple3) -> rule1)) -> rule3) triple1) -> rule6)) -> rule4) OR ((((((triple2 ((triple1) -> rule5)) -> rule8) triple1) -> rule6)) -> rule4) OR ((((((((triple2 ((triple1) -> rule5)) -> rule1)) -> rule3) triple1) -> rule6)) -> rule4))]