Anne is not furry. Anne is green. Anne is not rough. Anne is young. Dave is furry. Dave is green. Dave is red. Dave is not rough. Dave is round. Dave is young. Erin is blue. Erin is red. Erin is not rough. Fiona is round. Fiona is young. If someone is blue then they are green. If someone is round and blue then they are furry. If someone is young then they are blue.
Erin is not furry.
@0: Anne is green.[(triple2 OR ((((triple4) -> rule3)) -> rule1))] Anne is not furry.[(triple1)] Anne is not rough.[(triple3)] Anne is young.[(triple4)] Dave is furry.[(triple5 OR ((triple9 ((triple10) -> rule3)) -> rule2))] Dave is green.[(triple6 OR ((((triple10) -> rule3)) -> rule1))] Dave is not rough.[(triple8)] Dave is red.[(triple7)] Dave is round.[(triple9)] Dave is young.[(triple10)] Erin is blue.[(triple11)] Erin is not rough.[(triple13)] Erin is red.[(triple12)] Fiona is round.[(triple14)] Fiona is young.[(triple15)] @1: Anne is blue.[(((triple4) -> rule3))] Dave is blue.[(((triple10) -> rule3))] Erin is green.[(((triple11) -> rule1))] Fiona is blue.[(((triple15) -> rule3))] @2: Fiona is furry.[(((triple14 ((triple15) -> rule3)) -> rule2))] Fiona is green.[(((((triple15) -> rule3)) -> rule1))]