Harry is big. Harry is cold. Harry is nice. Harry is red. Harry is rough. Harry is round. Harry is smart. If something is smart and rough then it is round. If something is nice then it is smart. If something is red and big then it is smart.
Harry is smart.
@0: Harry is big.[(triple1)] Harry is cold.[(triple2)] Harry is nice.[(triple3)] Harry is red.[(triple4)] Harry is rough.[(triple5)] Harry is round.[(triple6 OR ((triple7 triple5) -> rule1) OR ((((triple3) -> rule2) triple5) -> rule1) OR ((((triple4 triple1) -> rule3) triple5) -> rule1))] Harry is smart.[(triple7 OR ((triple3) -> rule2) OR ((triple4 triple1) -> rule3))]