Harry is big. Harry is blue. Harry is quiet. Harry is rough. Harry is round. Harry is smart. Harry is white. All blue people are white. All rough people are round.
Harry is smart.
@0: Harry is big.[(triple1)] Harry is blue.[(triple2)] Harry is quiet.[(triple3)] Harry is rough.[(triple4)] Harry is round.[(triple5 OR ((triple4) -> rule2))] Harry is smart.[(triple6)] Harry is white.[(triple7 OR ((triple2) -> rule1))]