Anne is young. Dave is not round. Fiona is white. If Anne is young and Anne is white then Anne is big. Big things are red. If something is young then it is kind. If Anne is not young then Anne is round. Furry things are not big. If something is kind and not big then it is not round. Kind things are not round. If something is white then it is not round.
Anne is kind.
@0: Anne is young.[(triple1)] Dave is not round.[(triple2)] Fiona is white.[(triple3)] @1: Anne is kind.[(((triple1) -> rule3))] Fiona is not round.[(((triple3) -> rule8))] @2: Anne is not round.[(((((triple1) -> rule3)) -> rule7))]