Bob is furry. Charlie is young. Erin is young. Gary is nice. All white people are furry. If Erin is furry then Erin is white. If someone is young then they are nice. If Erin is kind and Erin is furry then Erin is green. All red, nice people are kind. All young people are white. White people are green. If someone is white and kind then they are furry.
Charlie is nice.
@0: Bob is furry.[(triple1)] Charlie is young.[(triple2)] Erin is young.[(triple3)] Gary is nice.[(triple4)] @1: Charlie is nice.[(((triple2) -> rule3))] Charlie is white.[(((triple2) -> rule6))] Erin is nice.[(((triple3) -> rule3))] Erin is white.[(((triple3) -> rule6))] @2: Charlie is furry.[(((((triple2) -> rule6)) -> rule1))] Charlie is green.[(((((triple2) -> rule6)) -> rule7))] Erin is furry.[(((((triple3) -> rule6)) -> rule1))] Erin is green.[(((((triple3) -> rule6)) -> rule7))]