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