Anne is furry. Anne is green. Charlie is furry. Charlie is nice. Charlie is round. Charlie is young. Dave is big. Dave is furry. Dave is round. Dave is young. Young things are round.
Dave is not big.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Charlie is furry.[(triple3)] Charlie is nice.[(triple4)] Charlie is round.[(triple5 OR ((triple6) -> rule1))] Charlie is young.[(triple6)] Dave is big.[(triple7)] Dave is furry.[(triple8)] Dave is round.[(triple9 OR ((triple10) -> rule1))] Dave is young.[(triple10)]