Anne is blue. Anne is not round. Charlie is not kind. Charlie is red. Charlie is smart. Erin is big. Erin is smart. Erin is young. Harry is big. Harry is blue. Harry is kind. Harry is not round. If someone is blue then they are kind. If someone is big and not blue then they are not smart. If Anne is young and Anne is big then Anne is round. Round people are not young. All blue, smart people are not young. If someone is round and red then they are not young. If Anne is round and Anne is red then Anne is not young. If Anne is round and Anne is not smart then Anne is young.
Anne is red.
@0: Anne is blue.[(triple1)] Anne is not round.[(triple2)] Charlie is not kind.[(triple3)] Charlie is red.[(triple4)] Charlie is smart.[(triple5)] Erin is big.[(triple6)] Erin is smart.[(triple7)] Erin is young.[(triple8)] Harry is big.[(triple9)] Harry is blue.[(triple10)] Harry is kind.[(triple11 OR ((triple10) -> rule1))] Harry is not round.[(triple12)] @1: Anne is kind.[(((triple1) -> rule1))]