Anne is blue. Anne is furry. Bob is young. Dave is blue. Dave is furry. Dave is green. Gary is furry. Nice things are rough. If something is green and young then it is rough. All rough, young things are nice. Young things are green. All nice, green things are blue. If Anne is rough then Anne is young. Smart things are not furry. Blue things are furry. If something is nice and not blue then it is furry.
Gary is not young.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2 OR ((triple1) -> rule8))] Bob is young.[(triple3)] Dave is blue.[(triple4)] Dave is furry.[(triple5 OR ((triple4) -> rule8))] Dave is green.[(triple6)] Gary is furry.[(triple7)] @1: Bob is green.[(((triple3) -> rule4))] @2: Bob is rough.[(((((triple3) -> rule4) triple3) -> rule2))] @3: Bob is nice.[(((((((triple3) -> rule4) triple3) -> rule2) triple3) -> rule3))] @4: Bob is blue.[(((((((((triple3) -> rule4) triple3) -> rule2) triple3) -> rule3) ((triple3) -> rule4)) -> rule5))] @5: Bob is furry.[(((((((((((triple3) -> rule4) triple3) -> rule2) triple3) -> rule3) ((triple3) -> rule4)) -> rule5)) -> rule8))]