Anne is not blue. Anne is not furry. Anne is kind. Anne is not quiet. Charlie is cold. Charlie is not quiet. Charlie is rough. Charlie is white. Dave is quiet. Gary is cold. If something is cold and white then it is furry. If something is cold and rough then it is white. Cold things are rough. Quiet, white things are not kind. If Gary is quiet then Gary is rough. If something is cold and kind then it is quiet. Furry, cold things are not blue. If Dave is kind and Dave is not white then Dave is furry.
Anne is kind.
@0: Anne is kind.[(triple3)] Anne is not blue.[(triple1)] Anne is not furry.[(triple2)] Anne is not quiet.[(triple4)] Charlie is cold.[(triple5)] Charlie is not quiet.[(triple6)] Charlie is rough.[(triple7 OR ((triple5) -> rule3))] Charlie is white.[(triple8 OR ((triple5 triple7) -> rule2) OR ((triple5 ((triple5) -> rule3)) -> rule2))] Dave is quiet.[(triple9)] Gary is cold.[(triple10)] @1: Charlie is furry.[(((triple5 triple8) -> rule1) OR ((triple5 ((triple5 triple7) -> rule2)) -> rule1) OR ((triple5 ((triple5 ((triple5) -> rule3)) -> rule2)) -> rule1))] Gary is rough.[(((triple10) -> rule3))] @2: Charlie is not blue.[(((((triple5 triple8) -> rule1) triple5) -> rule7) OR ((((triple5 ((triple5 triple7) -> rule2)) -> rule1) triple5) -> rule7) OR ((((triple5 ((triple5 ((triple5) -> rule3)) -> rule2)) -> rule1) triple5) -> rule7))] Gary is white.[(((triple10 ((triple10) -> rule3)) -> rule2))] @3: Gary is furry.[(((triple10 ((triple10 ((triple10) -> rule3)) -> rule2)) -> rule1))] @4: Gary is not blue.[(((((triple10 ((triple10 ((triple10) -> rule3)) -> rule2)) -> rule1) triple10) -> rule7))]