Harry is big. Harry is green. Harry is kind. Harry is red. Harry is smart. Harry is white. Harry is young. If something is white and green then it is young.
Harry is red.
@0: Harry is big.[(triple1)] Harry is green.[(triple2)] Harry is kind.[(triple3)] Harry is red.[(triple4)] Harry is smart.[(triple5)] Harry is white.[(triple6)] Harry is young.[(triple7 OR ((triple6 triple2) -> rule1))]