Anne is kind. Dave is young. Erin is kind. Gary is young. If someone is young and furry then they are green. Rough people are kind. If someone is green then they are blue. All white, kind people are green. Kind, young people are rough. If Anne is kind and Anne is green then Anne is rough. All young people are kind. If someone is kind and young then they are rough.
Anne is not kind.
@0: Anne is kind.[(triple1)] Dave is young.[(triple2)] Erin is kind.[(triple3)] Gary is young.[(triple4)] @1: Dave is kind.[(((triple2) -> rule7))] Gary is kind.[(((triple4) -> rule7))] @2: Dave is rough.[(((((triple2) -> rule7) triple2) -> rule5) OR ((((triple2) -> rule7) triple2) -> rule8))] Gary is rough.[(((((triple4) -> rule7) triple4) -> rule5) OR ((((triple4) -> rule7) triple4) -> rule8))]