Charlie is kind. Dave is kind. Erin is quiet. Furry, green people are rough. All white, kind people are rough. If someone is kind then they are green. All quiet, kind people are cold. If someone is quiet and green then they are rough. If someone is kind then they are furry. If someone is quiet then they are rough. Furry, rough people are green.
Charlie is furry.
@0: Charlie is kind.[(triple1)] Dave is kind.[(triple2)] Erin is quiet.[(triple3)] @1: Charlie is furry.[(((triple1) -> rule6))] Charlie is green.[(((triple1) -> rule3))] Dave is furry.[(((triple2) -> rule6))] Dave is green.[(((triple2) -> rule3))] Erin is rough.[(((triple3) -> rule7))] @2: Charlie is rough.[(((((triple1) -> rule6) ((triple1) -> rule3)) -> rule1))] Dave is rough.[(((((triple2) -> rule6) ((triple2) -> rule3)) -> rule1))]