Bob is furry. Bob is quiet. Bob is rough. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is young. Dave is furry. Dave is not quiet. Dave is rough. Dave is smart. Dave is young. Harry is kind. Harry is rough. Harry is smart. If Harry is kind then Harry is big.
Dave is quiet.
@0: Bob is furry.[(triple1)] Bob is quiet.[(triple2)] Bob is rough.[(triple3)] Charlie is kind.[(triple4)] Charlie is quiet.[(triple5)] Charlie is rough.[(triple6)] Charlie is smart.[(triple7)] Charlie is young.[(triple8)] Dave is furry.[(triple9)] Dave is not quiet.[(triple10)] Dave is rough.[(triple11)] Dave is smart.[(triple12)] Dave is young.[(triple13)] Harry is kind.[(triple14)] Harry is rough.[(triple15)] Harry is smart.[(triple16)] @1: Harry is big.[(((triple14) -> rule1))]