Anne is furry. Anne is rough. Charlie is furry. Dave is furry. Dave is rough. Fiona is not furry. Fiona is red. If someone is young then they are kind. If someone is young and not red then they are kind. If someone is red and smart then they are not kind. If Anne is kind then Anne is furry. All red people are young. If someone is round and not rough then they are young.
Anne is not kind.
@0: Anne is furry.[(triple1)] Anne is rough.[(triple2)] Charlie is furry.[(triple3)] Dave is furry.[(triple4)] Dave is rough.[(triple5)] Fiona is not furry.[(triple6)] Fiona is red.[(triple7)] @1: Fiona is young.[(((triple7) -> rule5))] @2: Fiona is kind.[(((((triple7) -> rule5)) -> rule1))]