Anne is kind. Anne is quiet. Anne is round. Anne is white. Dave is green. Dave is quiet. Dave is red. Dave is round. Dave is white. Dave is young. Erin is green. Erin is kind. Erin is white. Fiona is kind. Fiona is white. Fiona is young. If something is young and not kind then it is quiet. If something is young and not round then it is quiet. If Anne is quiet and Anne is white then Anne is young.
Erin is not green.
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4)] Dave is green.[(triple5)] Dave is quiet.[(triple6)] Dave is red.[(triple7)] Dave is round.[(triple8)] Dave is white.[(triple9)] Dave is young.[(triple10)] Erin is green.[(triple11)] Erin is kind.[(triple12)] Erin is white.[(triple13)] Fiona is kind.[(triple14)] Fiona is white.[(triple15)] Fiona is young.[(triple16)] @1: Anne is young.[(((triple2 triple4) -> rule3))]