Charlie is young. Erin is nice. Erin is white. Nice things are not furry. All white, nice things are not furry. If Erin is smart and Erin is not green then Erin is white. All green things are white. If something is furry and not white then it is not young. If something is green and not nice then it is young.
Erin is smart.
@0: Charlie is young.[(triple1)] Erin is nice.[(triple2)] Erin is white.[(triple3)] @1: Erin is not furry.[(((triple2) -> rule1) OR ((triple3 triple2) -> rule2))]