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