Charlie is big. Charlie is not blue. Charlie is cold. Charlie is green. Charlie is red. Charlie is young. Gary is big. Gary is blue. Gary is green. Gary is nice. Gary is red. Gary is not young. If Gary is green and Gary is not nice then Gary is young. If something is blue then it is green. If something is nice and not red then it is green. If something is red and not blue then it is cold. If Charlie is blue and Charlie is cold then Charlie is not young. If Charlie is blue and Charlie is not red then Charlie is green.
Charlie is nice.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple3 OR ((triple5 triple2) -> rule4))] Charlie is green.[(triple4)] Charlie is not blue.[(triple2)] Charlie is red.[(triple5)] Charlie is young.[(triple6)] Gary is big.[(triple7)] Gary is blue.[(triple8)] Gary is green.[(triple9 OR ((triple8) -> rule2))] Gary is nice.[(triple10)] Gary is not young.[(triple12)] Gary is red.[(triple11)]