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