Charlie is not big. Charlie is not blue. Charlie is not cold. Charlie is nice. Charlie is red. Gary is big. Gary is not blue. Gary is cold. Gary is not nice. Gary is not young. If Charlie is not blue then Charlie is nice. If someone is young then they are smart. All cold people are big.
Gary is not smart.
@0: Charlie is nice.[(triple4 OR ((triple2) -> rule1))] Charlie is not big.[(triple1)] Charlie is not blue.[(triple2)] Charlie is not cold.[(triple3)] Charlie is red.[(triple5)] Gary is big.[(triple6 OR ((triple8) -> rule3))] Gary is cold.[(triple8)] Gary is not blue.[(triple7)] Gary is not nice.[(triple9)] Gary is not young.[(triple10)]