Charlie is green. Charlie is kind. Charlie is nice. Charlie is white. Charlie is young. Dave is cold. Dave is green. Dave is kind. Dave is young. Gary is cold. Gary is kind. Gary is nice. Gary is white. Harry is cold. Harry is rough. All cold things are rough. All white, green things are young.
Dave is white.
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Charlie is white.[(triple4)] Charlie is young.[(triple5 OR ((triple4 triple1) -> rule2))] Dave is cold.[(triple6)] Dave is green.[(triple7)] Dave is kind.[(triple8)] Dave is young.[(triple9)] Gary is cold.[(triple10)] Gary is kind.[(triple11)] Gary is nice.[(triple12)] Gary is white.[(triple13)] Harry is cold.[(triple14)] Harry is rough.[(triple15 OR ((triple14) -> rule1))] @1: Dave is rough.[(((triple6) -> rule1))] Gary is rough.[(((triple10) -> rule1))]