Charlie is cold. Charlie is kind. Charlie is rough. Charlie is young. Dave is not cold. Dave is green. Dave is not young. Gary is cold. Gary is furry. Gary is green. Gary is kind. Gary is young. If Charlie is young then Charlie is green. If something is cold then it is kind. If something is rough then it is young. If Dave is rough and Dave is young then Dave is round. If something is kind and not young then it is not green. If Dave is cold and Dave is not round then Dave is furry.
Charlie is not kind.
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2 OR ((triple1) -> rule2))] Charlie is rough.[(triple3)] Charlie is young.[(triple4 OR ((triple3) -> rule3))] Dave is green.[(triple6)] Dave is not cold.[(triple5)] Dave is not young.[(triple7)] Gary is cold.[(triple8)] Gary is furry.[(triple9)] Gary is green.[(triple10)] Gary is kind.[(triple11 OR ((triple8) -> rule2))] Gary is young.[(triple12)] @1: Charlie is green.[(((triple4) -> rule1) OR ((((triple3) -> rule3)) -> rule1))]