Charlie is blue. Charlie is furry. Charlie is green. Charlie is kind. Charlie is red. Charlie is round. Charlie is not white. Dave is blue. Dave is furry. Dave is green. Dave is kind. Dave is red. If something is red then it is furry.
Charlie is not round.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2 OR ((triple5) -> rule1))] Charlie is green.[(triple3)] Charlie is kind.[(triple4)] Charlie is not white.[(triple7)] Charlie is red.[(triple5)] Charlie is round.[(triple6)] Dave is blue.[(triple8)] Dave is furry.[(triple9 OR ((triple12) -> rule1))] Dave is green.[(triple10)] Dave is kind.[(triple11)] Dave is red.[(triple12)]