Charlie is blue. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is round. Charlie is young. Quiet people are round. If Charlie is blue then Charlie is young. Young people are blue.
Charlie is young.
@0: Charlie is blue.[(triple1 OR ((triple7) -> rule3))] Charlie is green.[(triple2)] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is round.[(triple6 OR ((triple4) -> rule1))] Charlie is young.[(triple7 OR ((triple1) -> rule2))]