Harry is big. Harry is blue. Harry is cold. Harry is green. Harry is round. Harry is smart. Harry is white. If something is smart then it is round. If Harry is green then Harry is big.
Harry is not big.
@0: Harry is big.[(triple1 OR ((triple4) -> rule2))] Harry is blue.[(triple2)] Harry is cold.[(triple3)] Harry is green.[(triple4)] Harry is round.[(triple5 OR ((triple6) -> rule1))] Harry is smart.[(triple6)] Harry is white.[(triple7)]