Dave is not big. Dave is furry. Dave is nice. Dave is quiet. Dave is smart. Dave is white. Dave is young. Harry is not big. Harry is not furry. Harry is not nice. Harry is quiet. Harry is smart. Harry is white. Harry is young. If something is smart and not nice then it is quiet. If Dave is smart and Dave is white then Dave is quiet.
Harry is smart.
@0: Dave is furry.[(triple2)] Dave is nice.[(triple3)] Dave is not big.[(triple1)] Dave is quiet.[(triple4 OR ((triple5 triple6) -> rule2))] Dave is smart.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7)] Harry is not big.[(triple8)] Harry is not furry.[(triple9)] Harry is not nice.[(triple10)] Harry is quiet.[(triple11 OR ((triple12 triple10) -> rule1))] Harry is smart.[(triple12)] Harry is white.[(triple13)] Harry is young.[(triple14)]