Harry is green. Harry is nice. Harry is rough. Harry is round. Harry is smart. Harry is white. Harry is young. Nice, young things are rough. Rough things are round. If something is nice then it is white.
Harry is not rough.
@0: Harry is green.[(triple1)] Harry is nice.[(triple2)] Harry is rough.[(triple3 OR ((triple2 triple7) -> rule1))] Harry is round.[(triple4 OR ((triple3) -> rule2) OR ((((triple2 triple7) -> rule1)) -> rule2))] Harry is smart.[(triple5)] Harry is white.[(triple6 OR ((triple2) -> rule3))] Harry is young.[(triple7)]