Charlie is blue. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is round. If Charlie is not blue then Charlie is kind. Furry things are kind. If something is blue and not kind then it is red.
Charlie is furry.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is kind.[(triple3 OR ((triple2) -> rule2))] Charlie is nice.[(triple4)] Charlie is quiet.[(triple5)] Charlie is red.[(triple6)] Charlie is round.[(triple7)]