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