Charlie is big. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is not rough. Charlie is smart. Charlie is young. Dave is blue. Dave is cold. Dave is kind. Dave is not rough. Dave is smart. Dave is young. Gary is kind. Gary is rough. Gary is young. If something is cold and not smart then it is not blue. All young things are cold. If Gary is not young and Gary is not kind then Gary is cold.
Dave is big.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is cold.[(triple3 OR ((triple7) -> rule2))] Charlie is kind.[(triple4)] Charlie is not rough.[(triple5)] Charlie is smart.[(triple6)] Charlie is young.[(triple7)] Dave is blue.[(triple8)] Dave is cold.[(triple9 OR ((triple13) -> rule2))] Dave is kind.[(triple10)] Dave is not rough.[(triple11)] Dave is smart.[(triple12)] Dave is young.[(triple13)] Gary is kind.[(triple14)] Gary is rough.[(triple15)] Gary is young.[(triple16)] @1: Gary is cold.[(((triple16) -> rule2))]