Charlie is quiet. Dave is furry. Blue people are red. Red, blue people are quiet. If someone is blue and big then they are quiet. If Charlie is quiet then Charlie is red. If someone is quiet and white then they are furry. If Dave is red then Dave is furry. All red people are white. Quiet people are blue.
Charlie is not white.
@0: Charlie is quiet.[(triple1)] Dave is furry.[(triple2)] @1: Charlie is blue.[(((triple1) -> rule8))] Charlie is red.[(((triple1) -> rule4) OR ((((triple1) -> rule8)) -> rule1))] @2: Charlie is white.[(((((triple1) -> rule4)) -> rule7) OR ((((((triple1) -> rule8)) -> rule1)) -> rule7))] @3: Charlie is furry.[(((triple1 ((((triple1) -> rule4)) -> rule7)) -> rule5) OR ((triple1 ((((((triple1) -> rule8)) -> rule1)) -> rule7)) -> rule5))]