Charlie is green. Charlie is round. Charlie is smart. Erin is big. Erin is not kind. Erin is not quiet. Erin is young. If someone is green and not young then they are round. If Erin is quiet and Erin is not green then Erin is smart. If someone is quiet and not young then they are smart. If someone is smart then they are quiet. Young people are not quiet. If someone is round and not kind then they are big.
Charlie is green.
@0: Charlie is green.[(triple1)] Charlie is round.[(triple2)] Charlie is smart.[(triple3)] Erin is big.[(triple4)] Erin is not kind.[(triple5)] Erin is not quiet.[(triple6 OR ((triple7) -> rule5))] Erin is young.[(triple7)] @1: Charlie is quiet.[(((triple3) -> rule4))]