Charlie is cold. Charlie is not green. Charlie is nice. Charlie is smart. Erin is big. Erin is kind. Erin is nice. Erin is young. Harry is not cold. Harry is young. If something is kind and big then it is smart. Young, kind things are smart. If something is cold and not young then it is kind. If Charlie is big then Charlie is kind. If Erin is not young then Erin is nice. Big things are green. Smart, young things are nice. If something is green and not kind then it is not nice.
Erin is green.
@0: Charlie is cold.[(triple1)] Charlie is nice.[(triple3)] Charlie is not green.[(triple2)] Charlie is smart.[(triple4)] Erin is big.[(triple5)] Erin is kind.[(triple6)] Erin is nice.[(triple7 OR ((((triple6 triple5) -> rule1) triple8) -> rule7) OR ((((triple8 triple6) -> rule2) triple8) -> rule7))] Erin is young.[(triple8)] Harry is not cold.[(triple9)] Harry is young.[(triple10)] @1: Erin is green.[(((triple5) -> rule6))] Erin is smart.[(((triple6 triple5) -> rule1) OR ((triple8 triple6) -> rule2))]