Anne is kind. Bob is not nice. Bob is white. Bob is young. Dave is blue. Dave is nice. Fiona is young. All blue people are kind. Young, rough people are not kind. Red people are kind. All young people are blue. If someone is young and not white then they are not nice. Blue, kind people are not rough.
Anne is young.
@0: Anne is kind.[(triple1)] Bob is not nice.[(triple2)] Bob is white.[(triple3)] Bob is young.[(triple4)] Dave is blue.[(triple5)] Dave is nice.[(triple6)] Fiona is young.[(triple7)] @1: Bob is blue.[(((triple4) -> rule4))] Dave is kind.[(((triple5) -> rule1))] Fiona is blue.[(((triple7) -> rule4))] @2: Bob is kind.[(((((triple4) -> rule4)) -> rule1))] Dave is not rough.[(((triple5 ((triple5) -> rule1)) -> rule6))] Fiona is kind.[(((((triple7) -> rule4)) -> rule1))] @3: Bob is not rough.[(((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule1)) -> rule6))] Fiona is not rough.[(((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule1)) -> rule6))]