Charlie is big. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is round. Charlie is white. Charlie is young. If someone is young and green then they are quiet. All quiet, young people are green.
Charlie is young.
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2 OR ((triple4 triple7) -> rule2))] Charlie is kind.[(triple3)] Charlie is quiet.[(triple4 OR ((triple7 triple2) -> rule1))] Charlie is round.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7)]