Anne is nice. Charlie is white. Gary is not round. Harry is nice. If Harry is not green then Harry is white. If someone is nice and round then they are smart. White, kind people are not smart. Round people are smart. If someone is smart then they are not kind. All round people are not white. If someone is rough and green then they are white. All nice people are round.
Harry is kind.
@0: Anne is nice.[(triple1)] Charlie is white.[(triple2)] Gary is not round.[(triple3)] Harry is nice.[(triple4)] @1: Anne is round.[(((triple1) -> rule8))] Harry is round.[(((triple4) -> rule8))] @2: Anne is not white.[(((((triple1) -> rule8)) -> rule6))] Anne is smart.[(((((triple1) -> rule8)) -> rule4) OR ((triple1 ((triple1) -> rule8)) -> rule2))] Harry is not white.[(((((triple4) -> rule8)) -> rule6))] Harry is smart.[(((((triple4) -> rule8)) -> rule4) OR ((triple4 ((triple4) -> rule8)) -> rule2))] @3: Anne is not kind.[(((((((triple1) -> rule8)) -> rule4)) -> rule5) OR ((((triple1 ((triple1) -> rule8)) -> rule2)) -> rule5))] Harry is not kind.[(((((((triple4) -> rule8)) -> rule4)) -> rule5) OR ((((triple4 ((triple4) -> rule8)) -> rule2)) -> rule5))]