Charlie is blue. Charlie is not cold. Charlie is green. Charlie is quiet. Charlie is red. Charlie is not round. Charlie is young. All young things are red. Red things are quiet.
Charlie is young.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple3)] Charlie is not cold.[(triple2)] Charlie is not round.[(triple6)] Charlie is quiet.[(triple4 OR ((triple5) -> rule2) OR ((((triple7) -> rule1)) -> rule2))] Charlie is red.[(triple5 OR ((triple7) -> rule1))] Charlie is young.[(triple7)]