Anne is rough. Charlie is rough. Charlie is round. Charlie is white. Charlie is young. Dave is furry. Dave is kind. Dave is rough. Dave is white. Harry is furry. Harry is kind. Harry is rough. Harry is round. Harry is white. Harry is young. If something is quiet then it is kind. If Anne is furry then Anne is white. Kind, young things are white.
Dave is young.
@0: Anne is rough.[(triple1)] Charlie is rough.[(triple2)] Charlie is round.[(triple3)] Charlie is white.[(triple4)] Charlie is young.[(triple5)] Dave is furry.[(triple6)] Dave is kind.[(triple7)] Dave is rough.[(triple8)] Dave is white.[(triple9)] Harry is furry.[(triple10)] Harry is kind.[(triple11)] Harry is rough.[(triple12)] Harry is round.[(triple13)] Harry is white.[(triple14 OR ((triple11 triple15) -> rule3))] Harry is young.[(triple15)]