Anne is green. Anne is quiet. Bob is nice. Bob is not young. Charlie is not nice. Fiona is furry. Fiona is not young. If someone is green and not rough then they are not young. If Bob is green and Bob is young then Bob is nice. If someone is green then they are nice. If Charlie is quiet then Charlie is nice. If someone is nice then they are kind. If Anne is not young and Anne is not rough then Anne is nice.
Anne is not nice.
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2)] Bob is nice.[(triple3)] Bob is not young.[(triple4)] Charlie is not nice.[(triple5)] Fiona is furry.[(triple6)] Fiona is not young.[(triple7)] @1: Anne is nice.[(((triple1) -> rule3))] Bob is kind.[(((triple3) -> rule5))] @2: Anne is kind.[(((((triple1) -> rule3)) -> rule5))]