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