Harry is big. Harry is blue. Harry is smart. Big things are round. Red things are not big. Young things are big. All blue things are big. If something is smart and not red then it is not blue. If something is round then it is nice.
Harry is not nice.
@0: Harry is big.[(triple1 OR ((triple2) -> rule4))] Harry is blue.[(triple2)] Harry is smart.[(triple3)] @1: Harry is round.[(((triple1) -> rule1) OR ((((triple2) -> rule4)) -> rule1))] @2: Harry is nice.[(((((triple1) -> rule1)) -> rule6) OR ((((((triple2) -> rule4)) -> rule1)) -> rule6))]