Anne is furry. Anne is young. Bob is rough. Bob is young. Charlie is not furry. Charlie is not kind. Charlie is young. Fiona is green. Fiona is not kind. Fiona is rough. If something is young and quiet then it is not green. If something is furry and not rough then it is green. Young things are quiet. If something is rough and not kind then it is furry. If something is quiet and not kind then it is young. If something is furry and not young then it is white.
Charlie is young.
@0: Anne is furry.[(triple1)] Anne is young.[(triple2)] Bob is rough.[(triple3)] Bob is young.[(triple4)] Charlie is not furry.[(triple5)] Charlie is not kind.[(triple6)] Charlie is young.[(triple7)] Fiona is green.[(triple8)] Fiona is not kind.[(triple9)] Fiona is rough.[(triple10)] @1: Anne is quiet.[(((triple2) -> rule3))] Bob is quiet.[(((triple4) -> rule3))] Charlie is quiet.[(((triple7) -> rule3))] Fiona is furry.[(((triple10 triple9) -> rule4))] @2: Anne is not green.[(((triple2 ((triple2) -> rule3)) -> rule1))] Bob is not green.[(((triple4 ((triple4) -> rule3)) -> rule1))] Charlie is not green.[(((triple7 ((triple7) -> rule3)) -> rule1))]