Anne is nice. Charlie is big. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is smart. Erin is big. Erin is green. Erin is smart. Harry is cold. Harry is green. Harry is young. If Charlie is green and Charlie is cold then Charlie is nice. All cold, big people are green. If Harry is green then Harry is cold. All nice people are young. Smart people are quiet. If someone is big and cold then they are nice. If Harry is green and Harry is big then Harry is cold. All green people are quiet.
Erin is not nice.
@0: Anne is nice.[(triple1)] Charlie is big.[(triple2)] Charlie is green.[(triple3)] Charlie is nice.[(triple4)] Charlie is quiet.[(triple5 OR ((triple3) -> rule8) OR ((triple6) -> rule5))] Charlie is smart.[(triple6)] Erin is big.[(triple7)] Erin is green.[(triple8)] Erin is smart.[(triple9)] Harry is cold.[(triple10 OR ((triple11) -> rule3))] Harry is green.[(triple11)] Harry is young.[(triple12)] @1: Anne is young.[(((triple1) -> rule4))] Charlie is young.[(((triple4) -> rule4))] Erin is quiet.[(((triple8) -> rule8) OR ((triple9) -> rule5))] Harry is quiet.[(((triple11) -> rule8))]