Bob is furry. Bob is rough. Dave is big. Dave is furry. Dave is not quiet. Dave is rough. Dave is round. Dave is white. Dave is young. Harry is big. Harry is furry. Harry is not rough. Harry is round. Harry is white. Harry is young. If Harry is round then Harry is big. If someone is furry and not white then they are not round. If Harry is white and Harry is not big then Harry is quiet.
Bob is white.
@0: Bob is furry.[(triple1)] Bob is rough.[(triple2)] Dave is big.[(triple3)] Dave is furry.[(triple4)] Dave is not quiet.[(triple5)] Dave is rough.[(triple6)] Dave is round.[(triple7)] Dave is white.[(triple8)] Dave is young.[(triple9)] Harry is big.[(triple10 OR ((triple13) -> rule1))] Harry is furry.[(triple11)] Harry is not rough.[(triple12)] Harry is round.[(triple13)] Harry is white.[(triple14)] Harry is young.[(triple15)]