Charlie is green. Charlie is not kind. Charlie is quiet. Charlie is smart. Charlie is young. Erin is cold. Erin is green. Erin is not nice. Erin is smart. Harry is cold. Harry is green. Harry is not nice. Harry is not quiet. Harry is smart. Harry is not young. If someone is cold then they are green. If someone is cold then they are not quiet. All quiet people are nice.
Charlie is not smart.
@0: Charlie is green.[(triple1)] Charlie is not kind.[(triple2)] Charlie is quiet.[(triple3)] Charlie is smart.[(triple4)] Charlie is young.[(triple5)] Erin is cold.[(triple6)] Erin is green.[(triple7 OR ((triple6) -> rule1))] Erin is not nice.[(triple8)] Erin is smart.[(triple9)] Harry is cold.[(triple10)] Harry is green.[(triple11 OR ((triple10) -> rule1))] Harry is not nice.[(triple12)] Harry is not quiet.[(triple13 OR ((triple10) -> rule2))] Harry is not young.[(triple15)] Harry is smart.[(triple14)] @1: Charlie is nice.[(((triple3) -> rule3))] Erin is not quiet.[(((triple6) -> rule2))]