Anne is not furry. Anne is green. Anne is nice. Anne is red. Anne is round. Anne is young. Charlie is quiet. Charlie is not young. Erin is not furry. Erin is green. Erin is not quiet. Fiona is nice. Fiona is quiet. Fiona is not round. Fiona is young. If something is round and young then it is quiet. If something is quiet and young then it is nice. If something is red and not quiet then it is furry.
Erin is not nice.
@0: Anne is green.[(triple2)] Anne is nice.[(triple3 OR ((((triple5 triple6) -> rule1) triple6) -> rule2))] Anne is not furry.[(triple1)] Anne is red.[(triple4)] Anne is round.[(triple5)] Anne is young.[(triple6)] Charlie is not young.[(triple8)] Charlie is quiet.[(triple7)] Erin is green.[(triple10)] Erin is not furry.[(triple9)] Erin is not quiet.[(triple11)] Fiona is nice.[(triple12 OR ((triple13 triple15) -> rule2))] Fiona is not round.[(triple14)] Fiona is quiet.[(triple13)] Fiona is young.[(triple15)] @1: Anne is quiet.[(((triple5 triple6) -> rule1))]