Harry is big. Harry is cold. Harry is furry. Harry is kind. Harry is nice. Harry is smart. Harry is young. If Harry is cold and Harry is nice then Harry is furry.
Harry is not young.
@0: Harry is big.[(triple1)] Harry is cold.[(triple2)] Harry is furry.[(triple3 OR ((triple2 triple5) -> rule1))] Harry is kind.[(triple4)] Harry is nice.[(triple5)] Harry is smart.[(triple6)] Harry is young.[(triple7)]