Anne is furry. Anne is green. Anne is young. Charlie is furry. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is white. Charlie is young. Dave is not furry. Dave is green. If someone is quiet and young then they are green. All young, green people are white. If someone is green then they are young. Young people are nice. All young people are nice. If Charlie is white then Charlie is young. If Charlie is rough then Charlie is nice. White people are quiet.
Anne is quiet.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is young.[(triple3 OR ((triple2) -> rule3))] Charlie is furry.[(triple4)] Charlie is green.[(triple5 OR ((triple7 triple10) -> rule1) OR ((triple7 ((triple9) -> rule6)) -> rule1) OR ((((triple9) -> rule8) triple10) -> rule1) OR ((((triple9) -> rule8) ((triple9) -> rule6)) -> rule1))] Charlie is nice.[(triple6 OR ((triple10) -> rule4) OR ((triple10) -> rule5) OR ((triple8) -> rule7) OR ((((triple5) -> rule3)) -> rule4) OR ((((triple5) -> rule3)) -> rule5) OR ((((triple9) -> rule6)) -> rule4) OR ((((triple9) -> rule6)) -> rule5))] Charlie is quiet.[(triple7 OR ((triple9) -> rule8) OR ((((triple10 triple5) -> rule2)) -> rule8) OR ((((((triple5) -> rule3) triple5) -> rule2)) -> rule8))] Charlie is rough.[(triple8)] Charlie is white.[(triple9 OR ((triple10 triple5) -> rule2) OR ((triple10 ((triple7 triple10) -> rule1)) -> rule2) OR ((((triple5) -> rule3) triple5) -> rule2) OR ((((triple5) -> rule3) ((triple7 triple10) -> rule1)) -> rule2))] Charlie is young.[(triple10 OR ((triple5) -> rule3) OR ((triple9) -> rule6))] Dave is green.[(triple12)] Dave is not furry.[(triple11)] @1: Anne is nice.[(((triple3) -> rule4) OR ((triple3) -> rule5) OR ((((triple2) -> rule3)) -> rule4) OR ((((triple2) -> rule3)) -> rule5))] Anne is white.[(((triple3 triple2) -> rule2) OR ((((triple2) -> rule3) triple2) -> rule2))] Dave is young.[(((triple12) -> rule3))] @2: Anne is quiet.[(((((triple3 triple2) -> rule2)) -> rule8) OR ((((((triple2) -> rule3) triple2) -> rule2)) -> rule8))] Dave is nice.[(((((triple12) -> rule3)) -> rule4) OR ((((triple12) -> rule3)) -> rule5))] Dave is white.[(((((triple12) -> rule3) triple12) -> rule2))] @3: Dave is quiet.[(((((((triple12) -> rule3) triple12) -> rule2)) -> rule8))]