Anne is nice. Anne is quiet. Charlie is kind. Charlie is white. Dave is kind. Harry is blue. Harry is young. If someone is kind and not red then they are quiet. If someone is red and nice then they are not blue. If someone is white and kind then they are nice. Red people are white. Kind people are white. If someone is young then they are white. All nice people are young. If Anne is young then Anne is not blue.
Dave is not young.
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Charlie is kind.[(triple3)] Charlie is white.[(triple4 OR ((triple3) -> rule5))] Dave is kind.[(triple5)] Harry is blue.[(triple6)] Harry is young.[(triple7)] @1: Anne is young.[(((triple1) -> rule7))] Charlie is nice.[(((triple4 triple3) -> rule3) OR ((((triple3) -> rule5) triple3) -> rule3))] Dave is white.[(((triple5) -> rule5))] Harry is white.[(((triple7) -> rule6))] @2: Anne is not blue.[(((((triple1) -> rule7)) -> rule8))] Anne is white.[(((((triple1) -> rule7)) -> rule6))] Charlie is young.[(((((triple4 triple3) -> rule3)) -> rule7) OR ((((((triple3) -> rule5) triple3) -> rule3)) -> rule7))] Dave is nice.[(((((triple5) -> rule5) triple5) -> rule3))] @3: Dave is young.[(((((((triple5) -> rule5) triple5) -> rule3)) -> rule7))]