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