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