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