Bob is furry. Bob is kind. Bob is rough. Bob is white. Bob is young. Charlie is big. Charlie is kind. Charlie is quiet. Charlie is rough. Dave is big. Dave is furry. Dave is kind. Dave is quiet. Harry is quiet. Harry is white. All furry, young people are white. White, quiet people are young.
Dave is not young.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Bob is rough.[(triple3)] Bob is white.[(triple4 OR ((triple1 triple5) -> rule1))] Bob is young.[(triple5)] Charlie is big.[(triple6)] Charlie is kind.[(triple7)] Charlie is quiet.[(triple8)] Charlie is rough.[(triple9)] Dave is big.[(triple10)] Dave is furry.[(triple11)] Dave is kind.[(triple12)] Dave is quiet.[(triple13)] Harry is quiet.[(triple14)] Harry is white.[(triple15)] @1: Harry is young.[(((triple15 triple14) -> rule2))]