Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is red. Charlie is young. Gary is big. Gary is cold. Gary is furry. Gary is green. Gary is kind. Gary is red. Gary is young. If Gary is young then Gary is red.
Charlie is not kind.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is green.[(triple4)] Charlie is kind.[(triple5)] Charlie is red.[(triple6)] Charlie is young.[(triple7)] Gary is big.[(triple8)] Gary is cold.[(triple9)] Gary is furry.[(triple10)] Gary is green.[(triple11)] Gary is kind.[(triple12)] Gary is red.[(triple13 OR ((triple14) -> rule1))] Gary is young.[(triple14)]