Charlie is not big. Charlie is blue. Charlie is not furry. Charlie is green. Charlie is kind. Charlie is smart. Charlie is young. Erin is big. Erin is furry. Erin is not young. If Erin is not furry then Erin is not kind. If Erin is blue then Erin is young. If someone is smart and furry then they are blue. If someone is furry and not smart then they are big. If Erin is young then Erin is not green. If someone is furry then they are green. All furry, blue people are young. If someone is big and not blue then they are kind.
Charlie is green.
@0: Charlie is blue.[(triple2)] Charlie is green.[(triple4)] Charlie is kind.[(triple5)] Charlie is not big.[(triple1)] Charlie is not furry.[(triple3)] Charlie is smart.[(triple6)] Charlie is young.[(triple7)] Erin is big.[(triple8)] Erin is furry.[(triple9)] Erin is not young.[(triple10)] @1: Erin is green.[(((triple9) -> rule6))]