Harry is big. Harry is furry. Harry is kind. Harry is nice. Harry is quiet. Harry is smart. Harry is young. If something is kind then it is nice. All young, kind things are smart. All nice, quiet things are young.
Harry is not smart.
@0: Harry is big.[(triple1)] Harry is furry.[(triple2)] Harry is kind.[(triple3)] Harry is nice.[(triple4 OR ((triple3) -> rule1))] Harry is quiet.[(triple5)] Harry is smart.[(triple6 OR ((triple7 triple3) -> rule2) OR ((((triple4 triple5) -> rule3) triple3) -> rule2) OR ((((((triple3) -> rule1) triple5) -> rule3) triple3) -> rule2))] Harry is young.[(triple7 OR ((triple4 triple5) -> rule3) OR ((((triple3) -> rule1) triple5) -> rule3))]