Charlie is big. Charlie is cold. Charlie is furry. Charlie is not kind. Charlie is round. Charlie is white. Charlie is young. Dave is not cold. Dave is round. Dave is white. If Dave is round then Dave is big.
Charlie is not kind.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is not kind.[(triple4)] Charlie is round.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7)] Dave is not cold.[(triple8)] Dave is round.[(triple9)] Dave is white.[(triple10)] @1: Dave is big.[(((triple9) -> rule1))]