Anne is red. Anne is smart. Charlie is kind. Charlie is red. Charlie is rough. Charlie is smart. Charlie is young. Erin is big. Erin is red. Erin is rough. Erin is young. Harry is red. Harry is rough. Harry is round. Harry is smart. Harry is young. If someone is young then they are round. If someone is red then they are big. All rough, red people are young. Big people are rough. If Charlie is red and Charlie is not young then Charlie is kind. If Charlie is not round and Charlie is not young then Charlie is not smart.
Anne is not kind.
@0: Anne is red.[(triple1)] Anne is smart.[(triple2)] Charlie is kind.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5 OR ((((triple4) -> rule2)) -> rule4))] Charlie is smart.[(triple6)] Charlie is young.[(triple7 OR ((triple5 triple4) -> rule3) OR ((((((triple4) -> rule2)) -> rule4) triple4) -> rule3))] Erin is big.[(triple8 OR ((triple9) -> rule2))] Erin is red.[(triple9)] Erin is rough.[(triple10 OR ((triple8) -> rule4) OR ((((triple9) -> rule2)) -> rule4))] Erin is young.[(triple11 OR ((triple10 triple9) -> rule3) OR ((((triple8) -> rule4) triple9) -> rule3) OR ((((((triple9) -> rule2)) -> rule4) triple9) -> rule3))] Harry is red.[(triple12)] Harry is rough.[(triple13 OR ((((triple12) -> rule2)) -> rule4))] Harry is round.[(triple14 OR ((triple16) -> rule1) OR ((((triple13 triple12) -> rule3)) -> rule1) OR ((((((((triple12) -> rule2)) -> rule4) triple12) -> rule3)) -> rule1))] Harry is smart.[(triple15)] Harry is young.[(triple16 OR ((triple13 triple12) -> rule3) OR ((((((triple12) -> rule2)) -> rule4) triple12) -> rule3))] @1: Anne is big.[(((triple1) -> rule2))] Charlie is big.[(((triple4) -> rule2))] Charlie is round.[(((triple7) -> rule1) OR ((((triple5 triple4) -> rule3)) -> rule1) OR ((((((((triple4) -> rule2)) -> rule4) triple4) -> rule3)) -> rule1))] Erin is round.[(((triple11) -> rule1) OR ((((triple10 triple9) -> rule3)) -> rule1) OR ((((((triple8) -> rule4) triple9) -> rule3)) -> rule1) OR ((((((((triple9) -> rule2)) -> rule4) triple9) -> rule3)) -> rule1))] Harry is big.[(((triple12) -> rule2))] @2: Anne is rough.[(((((triple1) -> rule2)) -> rule4))] @3: Anne is young.[(((((((triple1) -> rule2)) -> rule4) triple1) -> rule3))] @4: Anne is round.[(((((((((triple1) -> rule2)) -> rule4) triple1) -> rule3)) -> rule1))]