Anne is furry. Charlie is big. Dave is young. Fiona is white. If something is round then it is big. Kind, furry things are young. If something is kind then it is white. Furry things are young. Kind things are furry. All furry things are kind.
Dave is not young.
@0: Anne is furry.[(triple1)] Charlie is big.[(triple2)] Dave is young.[(triple3)] Fiona is white.[(triple4)] @1: Anne is kind.[(((triple1) -> rule6))] Anne is young.[(((triple1) -> rule4) OR ((((triple1) -> rule6) triple1) -> rule2))] @2: Anne is white.[(((((triple1) -> rule6)) -> rule3))]