Anne is blue. Anne is white. Dave is young. All young things are red. If something is blue then it is kind. Red things are white. Kind things are young. If Dave is big and Dave is red then Dave is blue. White, furry things are young. Furry, blue things are kind. Furry, big things are blue.
Dave is furry.
@0: Anne is blue.[(triple1)] Anne is white.[(triple2 OR ((((((((triple1) -> rule2)) -> rule4)) -> rule1)) -> rule3))] Dave is young.[(triple3)] @1: Anne is kind.[(((triple1) -> rule2))] Dave is red.[(((triple3) -> rule1))] @2: Anne is young.[(((((triple1) -> rule2)) -> rule4))] Dave is white.[(((((triple3) -> rule1)) -> rule3))] @3: Anne is red.[(((((((triple1) -> rule2)) -> rule4)) -> rule1))]