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