Harry is big. Harry is cold. Harry is green. Harry is nice. Harry is round. Harry is smart. Harry is white. If Harry is nice and Harry is smart then Harry is green. Nice, green people are round.
Harry is cold.
@0: Harry is big.[(triple1)] Harry is cold.[(triple2)] Harry is green.[(triple3 OR ((triple4 triple6) -> rule1))] Harry is nice.[(triple4)] Harry is round.[(triple5 OR ((triple4 triple3) -> rule2) OR ((triple4 ((triple4 triple6) -> rule1)) -> rule2))] Harry is smart.[(triple6)] Harry is white.[(triple7)]