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