Anne is not blue. Anne is green. Anne is kind. Charlie is white. Gary is green. Gary is kind. Gary is rough. Gary is round. Gary is not white. Harry is kind. Harry is quiet. Harry is white. White people are green. If someone is green and white then they are quiet. Blue, quiet people are round. All quiet people are blue. If someone is blue and not round then they are kind. If someone is quiet and round then they are kind.
Anne is not green.
@0: Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is not blue.[(triple1)] Charlie is white.[(triple4)] Gary is green.[(triple5)] Gary is kind.[(triple6)] Gary is not white.[(triple9)] Gary is rough.[(triple7)] Gary is round.[(triple8)] Harry is kind.[(triple10 OR ((triple11 ((((triple11) -> rule4) triple11) -> rule3)) -> rule6) OR ((((((triple12) -> rule1) triple12) -> rule2) ((((triple11) -> rule4) triple11) -> rule3)) -> rule6) OR ((triple11 ((((triple11) -> rule4) ((((triple12) -> rule1) triple12) -> rule2)) -> rule3)) -> rule6) OR ((((((triple12) -> rule1) triple12) -> rule2) ((((triple11) -> rule4) ((((triple12) -> rule1) triple12) -> rule2)) -> rule3)) -> rule6) OR ((triple11 ((((((((triple12) -> rule1) triple12) -> rule2)) -> rule4) triple11) -> rule3)) -> rule6) OR ((triple11 ((((((((triple12) -> rule1) triple12) -> rule2)) -> rule4) ((((triple12) -> rule1) triple12) -> rule2)) -> rule3)) -> rule6) OR ((((((triple12) -> rule1) triple12) -> rule2) ((((((((triple12) -> rule1) triple12) -> rule2)) -> rule4) triple11) -> rule3)) -> rule6) OR ((((((triple12) -> rule1) triple12) -> rule2) ((((((((triple12) -> rule1) triple12) -> rule2)) -> rule4) ((((triple12) -> rule1) triple12) -> rule2)) -> rule3)) -> rule6))] Harry is quiet.[(triple11 OR ((((triple12) -> rule1) triple12) -> rule2))] Harry is white.[(triple12)] @1: Charlie is green.[(((triple4) -> rule1))] Harry is blue.[(((triple11) -> rule4) OR ((((((triple12) -> rule1) triple12) -> rule2)) -> rule4))] Harry is green.[(((triple12) -> rule1))] @2: Charlie is quiet.[(((((triple4) -> rule1) triple4) -> rule2))] Harry is round.[(((((triple11) -> rule4) triple11) -> rule3) OR ((((triple11) -> rule4) ((((triple12) -> rule1) triple12) -> rule2)) -> rule3) OR ((((((((triple12) -> rule1) triple12) -> rule2)) -> rule4) triple11) -> rule3) OR ((((((((triple12) -> rule1) triple12) -> rule2)) -> rule4) ((((triple12) -> rule1) triple12) -> rule2)) -> rule3))] @3: Charlie is blue.[(((((((triple4) -> rule1) triple4) -> rule2)) -> rule4))] @4: Charlie is round.[(((((((((triple4) -> rule1) triple4) -> rule2)) -> rule4) ((((triple4) -> rule1) triple4) -> rule2)) -> rule3))] @5: Charlie is kind.[(((((((triple4) -> rule1) triple4) -> rule2) ((((((((triple4) -> rule1) triple4) -> rule2)) -> rule4) ((((triple4) -> rule1) triple4) -> rule2)) -> rule3)) -> rule6))]