Charlie is furry. Charlie is green. Charlie is not red. Dave is not big. Dave is furry. Dave is red. Erin is red. Red, quiet things are not white. If something is quiet and white then it is furry. If something is furry and red then it is quiet.
Erin is quiet.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2)] Charlie is not red.[(triple3)] Dave is furry.[(triple5)] Dave is not big.[(triple4)] Dave is red.[(triple6)] Erin is red.[(triple7)] @1: Dave is quiet.[(((triple5 triple6) -> rule3))] @2: Dave is not white.[(((triple6 ((triple5 triple6) -> rule3)) -> rule1))]