Harry is blue. Harry is furry. Harry is kind. Harry is quiet. Harry is red. Harry is smart. Harry is young. Furry things are blue.
Harry is not furry.
@0: Harry is blue.[(triple1 OR ((triple2) -> rule1))] Harry is furry.[(triple2)] Harry is kind.[(triple3)] Harry is quiet.[(triple4)] Harry is red.[(triple5)] Harry is smart.[(triple6)] Harry is young.[(triple7)]