Anne is blue. Anne is not kind. Anne is nice. Erin is blue. Erin is kind. Erin is not nice. Erin is rough. Harry is kind. Harry is nice. Harry is rough. Blue, nice people are young. Kind, smart people are young. If Anne is smart then Anne is young. If someone is quiet and not kind then they are rough. If someone is smart and not nice then they are not quiet. Young people are not quiet. All nice people are not quiet. If someone is rough and not nice then they are not smart.
Anne is smart.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple3)] Anne is not kind.[(triple2)] Erin is blue.[(triple4)] Erin is kind.[(triple5)] Erin is not nice.[(triple6)] Erin is rough.[(triple7)] Harry is kind.[(triple8)] Harry is nice.[(triple9)] Harry is rough.[(triple10)] @1: Anne is not quiet.[(((triple3) -> rule7) OR ((((triple1 triple3) -> rule1)) -> rule6))] Anne is young.[(((triple1 triple3) -> rule1))] Erin is not smart.[(((triple7 triple6) -> rule8))] Harry is not quiet.[(((triple9) -> rule7))]