Charlie is big. Charlie is furry. Charlie is green. Charlie is kind. Charlie is nice. Charlie is round. Charlie is white. Dave is green. Dave is nice. Dave is round. If something is furry then it is green. All white, green things are nice.
Dave is not kind.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3 OR ((triple2) -> rule1))] Charlie is kind.[(triple4)] Charlie is nice.[(triple5 OR ((triple7 triple3) -> rule2) OR ((triple7 ((triple2) -> rule1)) -> rule2))] Charlie is round.[(triple6)] Charlie is white.[(triple7)] Dave is green.[(triple8)] Dave is nice.[(triple9)] Dave is round.[(triple10)]