Anne is furry. Anne is green. Anne is quiet. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is white. If something is quiet then it is cold. Cold, green things are white. Furry, green things are nice. All white things are quiet. If something is white then it is quiet. All white things are cold. If something is nice and white then it is green. Nice, furry things are green.
Charlie is not rough.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is quiet.[(triple3)] Charlie is furry.[(triple4)] Charlie is green.[(triple5)] Charlie is quiet.[(triple6 OR ((triple7) -> rule4) OR ((triple7) -> rule5))] Charlie is white.[(triple7 OR ((((triple6) -> rule1) triple5) -> rule2))] @1: Anne is cold.[(((triple3) -> rule1))] Anne is nice.[(((triple1 triple2) -> rule3))] Charlie is cold.[(((triple6) -> rule1) OR ((triple7) -> rule6) OR ((((triple7) -> rule4)) -> rule1) OR ((((triple7) -> rule5)) -> rule1))] Charlie is nice.[(((triple4 triple5) -> rule3))] @2: Anne is white.[(((((triple3) -> rule1) triple2) -> rule2))]