Charlie is blue. Charlie is cold. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is young. Dave is blue. Dave is cold. Dave is nice. Dave is quiet. Dave is red. Dave is rough. Dave is young. Cold people are young. All red, blue people are rough.
Dave is rough.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is rough.[(triple6 OR ((triple5 triple1) -> rule2))] Charlie is young.[(triple7 OR ((triple2) -> rule1))] Dave is blue.[(triple8)] Dave is cold.[(triple9)] Dave is nice.[(triple10)] Dave is quiet.[(triple11)] Dave is red.[(triple12)] Dave is rough.[(triple13 OR ((triple12 triple8) -> rule2))] Dave is young.[(triple14 OR ((triple9) -> rule1))]