Anne is blue. Anne is furry. Anne is green. Anne is quiet. Anne is smart. Anne is white. Anne is young. Charlie is blue. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is smart. Charlie is white. Charlie is young. If someone is green then they are furry. If someone is quiet and young then they are furry. If someone is blue and furry then they are white.
Anne is not smart.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2 OR ((triple3) -> rule1) OR ((triple4 triple7) -> rule2))] Anne is green.[(triple3)] Anne is quiet.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6 OR ((triple1 triple2) -> rule3) OR ((triple1 ((triple3) -> rule1)) -> rule3) OR ((triple1 ((triple4 triple7) -> rule2)) -> rule3))] Anne is young.[(triple7)] Charlie is blue.[(triple8)] Charlie is furry.[(triple9 OR ((triple10) -> rule1) OR ((triple11 triple14) -> rule2))] Charlie is green.[(triple10)] Charlie is quiet.[(triple11)] Charlie is smart.[(triple12)] Charlie is white.[(triple13 OR ((triple8 triple9) -> rule3) OR ((triple8 ((triple10) -> rule1)) -> rule3) OR ((triple8 ((triple11 triple14) -> rule2)) -> rule3))] Charlie is young.[(triple14)]