Charlie is not blue. Charlie is not rough. Charlie is smart. Erin is cold. Erin is not nice. Erin is rough. Erin is young. Harry is blue. Harry is nice. Harry is not young. If someone is blue then they are nice. All round people are smart. All rough people are not smart. Young people are not smart. If someone is round and not blue then they are rough. All smart people are not young.
Charlie is round.
@0: Charlie is not blue.[(triple1)] Charlie is not rough.[(triple2)] Charlie is smart.[(triple3)] Erin is cold.[(triple4)] Erin is not nice.[(triple5)] Erin is rough.[(triple6)] Erin is young.[(triple7)] Harry is blue.[(triple8)] Harry is nice.[(triple9 OR ((triple8) -> rule1))] Harry is not young.[(triple10)] @1: Charlie is not young.[(((triple3) -> rule6))] Erin is not smart.[(((triple6) -> rule3) OR ((triple7) -> rule4))]