Charlie is blue. Charlie is green. Charlie is quiet. Charlie is round. Charlie is young. Erin is blue. Erin is furry. Erin is green. Erin is quiet. Erin is round. Erin is smart. Erin is young. Green people are smart.
Erin is round.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is quiet.[(triple3)] Charlie is round.[(triple4)] Charlie is young.[(triple5)] Erin is blue.[(triple6)] Erin is furry.[(triple7)] Erin is green.[(triple8)] Erin is quiet.[(triple9)] Erin is round.[(triple10)] Erin is smart.[(triple11 OR ((triple8) -> rule1))] Erin is young.[(triple12)] @1: Charlie is smart.[(((triple2) -> rule1))]