Anne is green. Anne is not quiet. Anne is white. Anne is young. Bob is not green. Bob is young. Charlie is not round. Charlie is not young. Dave is furry. Dave is green. Dave is not quiet. Dave is young. If Anne is green then Anne is white. Kind, green things are round. If something is round and not white then it is kind.
Anne is not round.
@0: Anne is green.[(triple1)] Anne is not quiet.[(triple2)] Anne is white.[(triple3 OR ((triple1) -> rule1))] Anne is young.[(triple4)] Bob is not green.[(triple5)] Bob is young.[(triple6)] Charlie is not round.[(triple7)] Charlie is not young.[(triple8)] Dave is furry.[(triple9)] Dave is green.[(triple10)] Dave is not quiet.[(triple11)] Dave is young.[(triple12)]