Charlie is big. Charlie is not cold. Charlie is not green. Charlie is kind. Charlie is quiet. Charlie is smart. Charlie is young. If someone is young and not kind then they are not cold. If Charlie is not smart then Charlie is quiet. Smart people are not green.
Charlie is green.
@0: Charlie is big.[(triple1)] Charlie is kind.[(triple4)] Charlie is not cold.[(triple2)] Charlie is not green.[(triple3 OR ((triple6) -> rule3))] Charlie is quiet.[(triple5)] Charlie is smart.[(triple6)] Charlie is young.[(triple7)]