Charlie is cold. Charlie is rough. Dave is big. Dave is kind. Gary is cold. Gary is kind. Gary is quiet. If someone is kind then they are rough.
Dave is not furry.
@0: Charlie is cold.[(triple1)] Charlie is rough.[(triple2)] Dave is big.[(triple3)] Dave is kind.[(triple4)] Gary is cold.[(triple5)] Gary is kind.[(triple6)] Gary is quiet.[(triple7)] @1: Dave is rough.[(((triple4) -> rule1))] Gary is rough.[(((triple6) -> rule1))]