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