Charlie is big. Charlie is blue. Charlie is furry. Charlie is green. Charlie is nice. Charlie is round. Dave is blue. Dave is furry. Dave is green. Dave is kind. Harry is blue. Harry is furry. Harry is green. Harry is kind. Harry is nice. Harry is round. Big people are kind.
Harry is kind.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is furry.[(triple3)] Charlie is green.[(triple4)] Charlie is nice.[(triple5)] Charlie is round.[(triple6)] Dave is blue.[(triple7)] Dave is furry.[(triple8)] Dave is green.[(triple9)] Dave is kind.[(triple10)] Harry is blue.[(triple11)] Harry is furry.[(triple12)] Harry is green.[(triple13)] Harry is kind.[(triple14)] Harry is nice.[(triple15)] Harry is round.[(triple16)] @1: Charlie is kind.[(((triple1) -> rule1))]