Anne is white. Bob is not quiet. Gary is white. White people are furry. All big, green people are red. All quiet people are red. If someone is green then they are red. If Anne is furry then Anne is quiet. If Bob is green and Bob is not kind then Bob is red.
Bob is furry.
@0: Anne is white.[(triple1)] Bob is not quiet.[(triple2)] Gary is white.[(triple3)] @1: Anne is furry.[(((triple1) -> rule1))] Gary is furry.[(((triple3) -> rule1))] @2: Anne is quiet.[(((((triple1) -> rule1)) -> rule5))] @3: Anne is red.[(((((((triple1) -> rule1)) -> rule5)) -> rule3))]