Harry is big. Harry is blue. Harry is cold. Harry is green. Harry is kind. Harry is round. Harry is smart. All blue people are green. Round, smart people are cold.
Harry is blue.
@0: Harry is big.[(triple1)] Harry is blue.[(triple2)] Harry is cold.[(triple3 OR ((triple6 triple7) -> rule2))] Harry is green.[(triple4 OR ((triple2) -> rule1))] Harry is kind.[(triple5)] Harry is round.[(triple6)] Harry is smart.[(triple7)]