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