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