Bob is rough. Bob is not young. Charlie is kind. Charlie is rough. Dave is green. Gary is blue. Gary is young. Young, furry people are nice. Kind, green people are rough. If Gary is blue then Gary is kind. All rough people are furry. If Bob is young then Bob is not green. All kind, young people are green.
Gary is nice.
@0: Bob is not young.[(triple2)] Bob is rough.[(triple1)] Charlie is kind.[(triple3)] Charlie is rough.[(triple4)] Dave is green.[(triple5)] Gary is blue.[(triple6)] Gary is young.[(triple7)] @1: Bob is furry.[(((triple1) -> rule4))] Charlie is furry.[(((triple4) -> rule4))] Gary is kind.[(((triple6) -> rule3))] @2: Gary is green.[(((((triple6) -> rule3) triple7) -> rule6))] @3: Gary is rough.[(((((triple6) -> rule3) ((((triple6) -> rule3) triple7) -> rule6)) -> rule2))] @4: Gary is furry.[(((((((triple6) -> rule3) ((((triple6) -> rule3) triple7) -> rule6)) -> rule2)) -> rule4))] @5: Gary is nice.[(((triple7 ((((((triple6) -> rule3) ((((triple6) -> rule3) triple7) -> rule6)) -> rule2)) -> rule4)) -> rule1))]