Charlie is blue. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is not smart. Charlie is young. Erin is blue. Erin is green. Erin is quiet. Erin is red. Erin is smart. If Erin is smart then Erin is quiet. If someone is smart then they are young.
Charlie is not quiet.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is not smart.[(triple6)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is young.[(triple7)] Erin is blue.[(triple8)] Erin is green.[(triple9)] Erin is quiet.[(triple10 OR ((triple12) -> rule1))] Erin is red.[(triple11)] Erin is smart.[(triple12)] @1: Erin is young.[(((triple12) -> rule2))]