Charlie is cold. Charlie is kind. Charlie is red. Charlie is rough. Dave is cold. Dave is not rough. Dave is young. Gary is blue. Gary is cold. Gary is kind. Gary is quiet. Gary is young. Cold, blue things are not rough. If Gary is kind and Gary is not blue then Gary is red. If Dave is red and Dave is not blue then Dave is kind. All red things are cold. Red things are quiet. If Dave is not kind and Dave is not rough then Dave is not quiet.
Charlie is young.
@0: Charlie is cold.[(triple1 OR ((triple3) -> rule4))] Charlie is kind.[(triple2)] Charlie is red.[(triple3)] Charlie is rough.[(triple4)] Dave is cold.[(triple5)] Dave is not rough.[(triple6)] Dave is young.[(triple7)] Gary is blue.[(triple8)] Gary is cold.[(triple9)] Gary is kind.[(triple10)] Gary is quiet.[(triple11)] Gary is young.[(triple12)] @1: Charlie is quiet.[(((triple3) -> rule5))] Gary is not rough.[(((triple9 triple8) -> rule1))]