Anne is furry. Anne is green. Anne is quiet. Anne is rough. Anne is young. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is young. Fiona is furry. Fiona is not green. Fiona is kind. Fiona is not nice. Fiona is quiet. Fiona is rough. Fiona is not young. All nice things are kind. If something is quiet and not furry then it is kind. If something is quiet and not rough then it is not young. All green things are young. Young, kind things are not green. If something is kind and not rough then it is not quiet.
Anne is nice.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is quiet.[(triple3)] Anne is rough.[(triple4)] Anne is young.[(triple5 OR ((triple2) -> rule4))] Charlie is kind.[(triple6 OR ((triple7) -> rule1))] Charlie is nice.[(triple7)] Charlie is quiet.[(triple8)] Charlie is young.[(triple9)] Fiona is furry.[(triple10)] Fiona is kind.[(triple12)] Fiona is not green.[(triple11)] Fiona is not nice.[(triple13)] Fiona is not young.[(triple16)] Fiona is quiet.[(triple14)] Fiona is rough.[(triple15)] @1: Charlie is not green.[(((triple9 triple6) -> rule5) OR ((triple9 ((triple7) -> rule1)) -> rule5))]