Anne is round. Anne is white. Anne is young. Charlie is blue. Charlie is kind. Charlie is white. Fiona is kind. All nice things are white. All nice things are white. Round things are nice. Round, furry things are kind. Kind things are young. If something is young then it is white.
Charlie is furry.
@0: Anne is round.[(triple1)] Anne is white.[(triple2 OR ((triple3) -> rule6) OR ((((triple1) -> rule3)) -> rule1) OR ((((triple1) -> rule3)) -> rule2))] Anne is young.[(triple3)] Charlie is blue.[(triple4)] Charlie is kind.[(triple5)] Charlie is white.[(triple6 OR ((((triple5) -> rule5)) -> rule6))] Fiona is kind.[(triple7)] @1: Anne is nice.[(((triple1) -> rule3))] Charlie is young.[(((triple5) -> rule5))] Fiona is young.[(((triple7) -> rule5))] @2: Fiona is white.[(((((triple7) -> rule5)) -> rule6))]