Harry is kind. Harry is smart. Harry is young. If something is blue and smart then it is big. All furry, smart things are young. If Harry is big and Harry is blue then Harry is smart. If Harry is rough and Harry is smart then Harry is kind. Young, blue things are big. All kind, young things are smart. If Harry is young and Harry is kind then Harry is rough. If Harry is big then Harry is furry.
Harry is not big.
@0: Harry is kind.[(triple1)] Harry is smart.[(triple2 OR ((triple1 triple3) -> rule6))] Harry is young.[(triple3)] @1: Harry is rough.[(((triple3 triple1) -> rule7))]