Anne is furry. Anne is quiet. Anne is red. Anne is rough. Anne is young. Dave is blue. Dave is furry. Dave is rough. Dave is young. Erin is red. Erin is young. Fiona is blue. Fiona is furry. Fiona is quiet. Fiona is young. If Fiona is quiet and Fiona is blue then Fiona is young. Red things are quiet. If Erin is red then Erin is young. If Erin is red and Erin is furry then Erin is green. If something is green and young then it is blue. All blue, red things are furry. All furry things are quiet. All green, blue things are rough.
Erin is not rough.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2 OR ((triple1) -> rule7) OR ((triple3) -> rule2))] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is young.[(triple5)] Dave is blue.[(triple6)] Dave is furry.[(triple7)] Dave is rough.[(triple8)] Dave is young.[(triple9)] Erin is red.[(triple10)] Erin is young.[(triple11 OR ((triple10) -> rule3))] Fiona is blue.[(triple12)] Fiona is furry.[(triple13)] Fiona is quiet.[(triple14 OR ((triple13) -> rule7))] Fiona is young.[(triple15 OR ((triple14 triple12) -> rule1) OR ((((triple13) -> rule7) triple12) -> rule1))] @1: Dave is quiet.[(((triple7) -> rule7))] Erin is quiet.[(((triple10) -> rule2))]