Charlie is big. Charlie is red. Charlie is rough. Charlie is round. Charlie is white. Dave is big. Dave is nice. Dave is round. Dave is white. Harry is big. Harry is furry. Harry is white. Rough people are furry.
Dave is not furry.
@0: Charlie is big.[(triple1)] Charlie is red.[(triple2)] Charlie is rough.[(triple3)] Charlie is round.[(triple4)] Charlie is white.[(triple5)] Dave is big.[(triple6)] Dave is nice.[(triple7)] Dave is round.[(triple8)] Dave is white.[(triple9)] Harry is big.[(triple10)] Harry is furry.[(triple11)] Harry is white.[(triple12)] @1: Charlie is furry.[(((triple3) -> rule1))]