Anne is young. Charlie is big. Charlie is quiet. Charlie is smart. Erin is big. Erin is cold. Erin is green. Erin is kind. Erin is quiet. Erin is smart. Erin is young. Gary is green. Gary is quiet. Gary is smart. Gary is young. Young things are smart. All big things are quiet.
Anne is not quiet.
@0: Anne is young.[(triple1)] Charlie is big.[(triple2)] Charlie is quiet.[(triple3 OR ((triple2) -> rule2))] Charlie is smart.[(triple4)] Erin is big.[(triple5)] Erin is cold.[(triple6)] Erin is green.[(triple7)] Erin is kind.[(triple8)] Erin is quiet.[(triple9 OR ((triple5) -> rule2))] Erin is smart.[(triple10 OR ((triple11) -> rule1))] Erin is young.[(triple11)] Gary is green.[(triple12)] Gary is quiet.[(triple13)] Gary is smart.[(triple14 OR ((triple15) -> rule1))] Gary is young.[(triple15)] @1: Anne is smart.[(((triple1) -> rule1))]