Charlie is cold. Charlie is kind. Charlie is not young. Erin is nice. Erin is young. Gary is nice. Gary is not young. Harry is furry. Harry is nice. Harry is young. If Harry is blue and Harry is furry then Harry is not nice. Smart people are cold. Young people are smart. All cold people are nice. If Charlie is not smart then Charlie is not kind. If Charlie is not nice then Charlie is blue.
Gary is not smart.
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2)] Charlie is not young.[(triple3)] Erin is nice.[(triple4 OR ((((((triple5) -> rule3)) -> rule2)) -> rule4))] Erin is young.[(triple5)] Gary is nice.[(triple6)] Gary is not young.[(triple7)] Harry is furry.[(triple8)] Harry is nice.[(triple9 OR ((((((triple10) -> rule3)) -> rule2)) -> rule4))] Harry is young.[(triple10)] @1: Charlie is nice.[(((triple1) -> rule4))] Erin is smart.[(((triple5) -> rule3))] Harry is smart.[(((triple10) -> rule3))] @2: Erin is cold.[(((((triple5) -> rule3)) -> rule2))] Harry is cold.[(((((triple10) -> rule3)) -> rule2))]