Charlie is blue. Charlie is furry. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is round. Charlie is white. All quiet people are blue. If someone is round then they are white. If someone is quiet and round then they are kind. If someone is quiet then they are furry. If someone is furry and not quiet then they are green. If Charlie is kind and Charlie is not furry then Charlie is not blue.
Charlie is furry.
@0: Charlie is blue.[(triple1 OR ((triple5) -> rule1))] Charlie is furry.[(triple2 OR ((triple5) -> rule4))] Charlie is green.[(triple3)] Charlie is kind.[(triple4 OR ((triple5 triple6) -> rule3))] Charlie is quiet.[(triple5)] Charlie is round.[(triple6)] Charlie is white.[(triple7 OR ((triple6) -> rule2))]