Anne is round. Charlie is kind. Dave is round. Erin is not kind. If Charlie is furry then Charlie is white. If someone is white and not smart then they are not blue. If someone is furry then they are not nice. All kind people are furry. If someone is white and not furry then they are round. If someone is kind and white then they are round.
Charlie is not nice.
@0: Anne is round.[(triple1)] Charlie is kind.[(triple2)] Dave is round.[(triple3)] Erin is not kind.[(triple4)] @1: Charlie is furry.[(((triple2) -> rule4))] @2: Charlie is not nice.[(((((triple2) -> rule4)) -> rule3))] Charlie is white.[(((((triple2) -> rule4)) -> rule1))] @3: Charlie is round.[(((triple2 ((((triple2) -> rule4)) -> rule1)) -> rule6))]