Bob is quiet. Bob is red. Charlie is not furry. Charlie is quiet. Charlie is white. Erin is quiet. Erin is white. If someone is young then they are rough. Furry people are not green. If someone is rough then they are green. If someone is green and furry then they are white. If Erin is not red then Erin is white. If someone is quiet and not furry then they are young.
Charlie is green.
@0: Bob is quiet.[(triple1)] Bob is red.[(triple2)] Charlie is not furry.[(triple3)] Charlie is quiet.[(triple4)] Charlie is white.[(triple5)] Erin is quiet.[(triple6)] Erin is white.[(triple7)] @1: Charlie is young.[(((triple4 triple3) -> rule6))] @2: Charlie is rough.[(((((triple4 triple3) -> rule6)) -> rule1))] @3: Charlie is green.[(((((((triple4 triple3) -> rule6)) -> rule1)) -> rule3))]