Charlie is blue. Charlie is kind. Charlie is quiet. Erin is not blue. Erin is not quiet. Gary is blue. Gary is not green. If Charlie is green and Charlie is not rough then Charlie is furry. Quiet, rough people are furry. If someone is green then they are not furry. Kind, white people are furry. If Erin is quiet then Erin is furry. Furry people are not green. If someone is green and not blue then they are white. Quiet people are white.
Charlie is blue.
@0: Charlie is blue.[(triple1)] Charlie is kind.[(triple2)] Charlie is quiet.[(triple3)] Erin is not blue.[(triple4)] Erin is not quiet.[(triple5)] Gary is blue.[(triple6)] Gary is not green.[(triple7)] @1: Charlie is white.[(((triple3) -> rule8))] @2: Charlie is furry.[(((triple2 ((triple3) -> rule8)) -> rule4))] @3: Charlie is not green.[(((((triple2 ((triple3) -> rule8)) -> rule4)) -> rule6))]