Harry is cold. Harry is green. Harry is nice. Harry is quiet. Harry is rough. Harry is round. Harry is smart. If Harry is rough then Harry is smart. Cold things are green.
Harry is cold.
@0: Harry is cold.[(triple1)] Harry is green.[(triple2 OR ((triple1) -> rule2))] Harry is nice.[(triple3)] Harry is quiet.[(triple4)] Harry is rough.[(triple5)] Harry is round.[(triple6)] Harry is smart.[(triple7 OR ((triple5) -> rule1))]