Harry is blue. Harry is cold. Harry is not furry. Harry is green. Harry is nice. Harry is round. Harry is not smart. Blue things are nice.
Harry is blue.
@0: Harry is blue.[(triple1)] Harry is cold.[(triple2)] Harry is green.[(triple4)] Harry is nice.[(triple5 OR ((triple1) -> rule1))] Harry is not furry.[(triple3)] Harry is not smart.[(triple7)] Harry is round.[(triple6)]